Felix Joachimski

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Klaus Aehlig, Felix Joachimski
Continuous normalization for the lambda-calculus and Gödel's. Ann. Pure Appl. Log. 133 (1-3) (2005)
Klaus Aehlig, Felix Joachimski
Operational aspects of untyped Normalisation by Evaluation. Math. Struct. Comput. Sci. 14 (4) (2004)
Felix Joachimski
Confluence of the coinductive [lambda]-calculus. Theor. Comput. Sci. 311 (1-3) (2004)
Felix Joachimski
Syntactic analysis of eta-expansions in Pure Type Systems. Inf. Comput. 182 (1) (2003)
Felix Joachimski, Ralph Matthes
Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. Arch. Math. Log. 42 (1) (2003)
Klaus Aehlig, Felix Joachimski
On Continuous Normalization. CSL (2002)
Felix Joachimski, Ralph Matthes
Standardization and Confluence for a Lambda Calculus with Generalized Applications. RTA (2000)