Felix Joachimski

Available identifiers

zbMath Open joachimski.felixMaRDI QIDQ1407577

List of research outcomes

Publication	Date of Publication	Type
Continuous normalization for the lambda-calculus and Gödel's T	2005-04-21	Paper
Confluence of the coinductive \(\lambda\)-calculus	2004-10-27	Paper
Operational aspects of untyped Normalisation by Evaluation	2004-09-24	Paper
Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4411815	2003-07-10	Paper
Syntactic analysis of \(\eta\)-expansions in pure type systems.	2003-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4552763	2002-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q2723897	2001-07-08	Paper

Research outcomes over time

This page was built for person: Felix Joachimski