Andreas Abel

Publications

• Failure of Normalization in Impredicative Type Theory With Proof-Irrelevant Propositional Equality. Andreas Abel, Thierry Coquand. 2020.
• Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus. Andreas Abel, Christian Sattler. 2019.
• Fixed Points of Type Constructors and Primitive Recursion. Andreas Abel, Ralph Matthes. 2004.