Felix Joachimski

According to our database, Felix Joachimski authored at least 7 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Continuous normalization for the lambda-calculus and Gödel's.

Klaus Aehlig, Felix Joachimski

Ann. Pure Appl. Log., 2005

2004

Confluence of the coinductive [lambda]-calculus.

Felix Joachimski

Theor. Comput. Sci., 2004

Operational aspects of untyped Normalisation by Evaluation.

Klaus Aehlig, Felix Joachimski

Math. Struct. Comput. Sci., 2004

2003

Syntactic analysis of eta-expansions in Pure Type Systems.

Felix Joachimski

Inf. Comput., 2003

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

2002

On Continuous Normalization.

Klaus Aehlig, Felix Joachimski

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2000

Standardization and Confluence for a Lambda Calculus with Generalized Applications.

Felix Joachimski, Ralph Matthes

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000