Klaus Aehlig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An elementary fragment of second-order lambda calculus ACM Transactions on Computational Logic	2017-07-12	Paper
A syntactical analysis of non-size-increasing polynomial time computation ACM Transactions on Computational Logic	2017-06-13	Paper
Normalization by Evaluation for Martin-Löf Type Theory with One Universe Electronic Notes in Theoretical Computer Science	2015-07-10	Paper
Multivariate amortized resource analysis Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
A compiled implementation of normalisation by evaluation Journal of Functional Programming	2012-09-21	Paper
On the computational complexity of cut-reduction Annals of Pure and Applied Logic	2011-08-26	Paper
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata Computer Science Logic	2009-03-12	Paper
Propositional Logic for Circuit Classes Computer Science Logic	2009-03-05	Paper
Parameter-free polymorphic types Annals of Pure and Applied Logic	2008-12-05	Paper
A Compiled Implementation of Normalization by Evaluation Lecture Notes in Computer Science	2008-12-04	Paper
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata Logical Methods in Computer Science	2007-11-15	Paper
Induction and inductive definitions in fragments of second order arithmetic Journal of Symbolic Logic	2006-09-06	Paper
scientific article; zbMATH DE number 2186968 (Why is no real title available?)	2005-07-12	Paper
Continuous normalization for the lambda-calculus and Gödel's T Annals of Pure and Applied Logic	2005-04-21	Paper
Operational aspects of untyped Normalisation by Evaluation Mathematical Structures in Computer Science	2004-09-24	Paper
An arithmetic for non-size-increasing polynomial-time computation Theoretical Computer Science	2004-08-06	Paper
scientific article; zbMATH DE number 2006627 (Why is no real title available?)	2003-11-23	Paper
scientific article; zbMATH DE number 1948154 (Why is no real title available?)	2003-07-10	Paper

Research outcomes over time

This page was built for person: Klaus Aehlig