Standardization and Confluence for a Lambda Calculus with Generalized Applications. - Felix Joachimski; Ralph Matthes (RTA, 2000)

On Continuous Normalization. - Klaus Aehlig; Felix Joachimski (CSL, 2002)

Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. - Felix Joachimski; Ralph Matthes (Arch. Math. Log., 2003)

Syntactic analysis of eta-expansions in Pure Type Systems. - Felix Joachimski (Inf. Comput., 2003)

Operational aspects of untyped Normalisation by Evaluation. - Klaus Aehlig; Felix Joachimski (Math. Struct. Comput. Sci., 2004)

Confluence of the coinductive [lambda]-calculus. - Felix Joachimski (Theor. Comput. Sci., 2004)

Continuous normalization for the lambda-calculus and Gödel's. - Klaus Aehlig; Felix Joachimski (Ann. Pure Appl. Log., 2005)