Felix Joachimski und Klaus Aehlig - Info zur Person

(1 - 13 von 15

)

Klaus Aehlig & Felix Joachimski, Continuous normalization for the...

philpapers.org

Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped λ-calculus and Gödel’s is...

Continuous Normalization for the Lambda-Calculus and Gödel's T.PhilPapers

philpapers.org

Continuous normalization for the lambda-calculus and Gödel's T · Klaus Aehlig & Felix Joachimski · Annals of Pure and Applied Logic 133 (1-3): (2005). › rec › AEHMIL

Game Semantics and Normalization by EvaluationLis-Lab

pageperso.lis-lab.fr

von P Clairambault · Zitiert von: 7 — Klaus Aehlig and Felix Joachimski. Operational aspects of untyped normalisation by evaluation. Mathematical Structures in Computer Science, 14(4), › papers › fossacs2015

Normalization by Evaluation Dependent Types and ...LMU München

www2.tcs.ifi.lmu.de

von A Abel · · Zitiert von: 48 — Klaus Aehlig, Felix Joachimski. Freiric Barral (PhD). Florian Haftmann, Tobias Nipkow. Andreas Abel (LMU). › talkHabil2013

Typed self-evaluation via intensional type functions

dl.acm.org

Klaus Aehlig and Felix Joachimski. Operational aspects of untyped normalisation by evaluation. Mathematical Structures in Computer Science, 14:587–611, ... › doi

Annals of Pure and Applied Logic | Festschrift on the occasion of...

www.sciencedirect.com

Continuous normalization for the lambda-calculus and Gödel's T. Open archive - Original research article: Pages Klaus Aehlig, Felix Joachimski.

Klaus Aehlig Mathematisches Institut Der Dekan Fakutät für ...

www.yumpu.com

— Klaus Aehlig, Felix Joachimski. Continuous Normalization for the Lambda-Calculus. and Gödel's T. Annals of Pure and Applied Logic, ... › document › view › klaus-ae...

Klaus Aehlig, List of Publication

www.linta.de

Klaus Aehlig, List of Publications Journal Articles Klaus Aehlig, Felix Joachimski. Continuous Normalization for the Lambda-Calculus and Gödel's T.

Logic for Programming and Automated Reasoning nozdr.ru

nozdr.ru

von MPA Voronkov · Zitiert von: 6 — Felix Joachimski. Emanuel Kieronski. Claude Kirchner. Konstantin Korovin. Ingolf Krüger. Ugo de'Liguoro. Denis Lugiez. Ian Mackie. Pascal Manoury. von J Bradfield · Zitiert von: 5 — Klaus Aehlig and Felix Joachimski. Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. › media › biblio › kolxoz › CsLn

reconstructed bibtex - Electronic Proceedings in Theoretical Computer ...eptcs.web.cse.unsw.edu.au/references.cgi?MSFP bib

cgi.cse.unsw.edu.au

... @unknown(aehligJoachimski:continuousNormalization, author = "Klaus Aehlig and Felix Joachimski", year = "2005", title = "Continuous Normalization for the ...