| |
| 2005 | ||
|---|---|---|
| 7 | EE | 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 | EE | Klaus Aehlig, Felix Joachimski: Operational aspects of untyped Normalisation by Evaluation. Mathematical Structures in Computer Science 14(4): 587-611 (2004) |
| 5 | EE | Felix Joachimski: Confluence of the coinductive [lambda]-calculus. Theor. Comput. Sci. 311(1-3): 105-119 (2004) |
| 2003 | ||
| 4 | EE | 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 | EE | Felix Joachimski: Syntactic analysis of eta-expansions in Pure Type Systems. Inf. Comput. 182(1): 53-71 (2003) |
| 2002 | ||
| 2 | EE | 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 | |
| 1 | Klaus Aehlig | [2] [6] [7] |
| 2 | Ralph Matthes | [1] [4] |