Felix Joachimski

	2005
7		Klaus Aehlig, Felix Joachimski: Continuous normalization for the lambda-calculus and Gödel's. Ann. Pure Appl. Logic 133(1-3): 39-71 (2005)
	2004
6		Klaus Aehlig, Felix Joachimski: Operational aspects of untyped Normalisation by Evaluation. Mathematical Structures in Computer Science 14(4): 587-611 (2004)
5		Felix Joachimski: Confluence of the coinductive [lambda]-calculus. Theor. Comput. Sci. 311(1-3): 105-119 (2004)
	2003
4		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): 59-87 (2003)
3		Felix Joachimski: Syntactic analysis of eta-expansions in Pure Type Systems. Inf. Comput. 182(1): 53-71 (2003)
	2002
2		Klaus Aehlig, Felix Joachimski: On Continuous Normalization. CSL 2002: 59-73
	2000
1		Felix Joachimski, Ralph Matthes: Standardization and Confluence for a Lambda Calculus with Generalized Applications. RTA 2000: 141-155

Coauthor Index

1	Klaus Aehlig	[2] [6] [7]
2	Ralph Matthes	[1] [4]

Colors in the list of coauthors