| Publication | Date of Publication | Type |
|---|
Infinitary lambda calculi and böhm models
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Transfinite reductions in orthogonal term rewriting systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Encoding many-valued logic in $\lambda$-calculus
Logical Methods in Computer Science | 2021-08-05 | Paper |
| Meaningless sets in infinitary combinatory logic | 2020-05-27 | Paper |
| scientific article; zbMATH DE number 6792351 (Why is no real title available?) | 2017-10-17 | Paper |
| Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes | 2017-07-11 | Paper |
The infinitary lambda calculus of the infinite eta Böhm trees
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
Meaningless terms in rewriting
Algebraic and Logic Programming | 2017-01-19 | Paper |
Pure type systems with corecursion on streams, from finite to infinitary normalisation
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
Nominal coalgebraic data types with applications to lambda calculus
Logical Methods in Computer Science | 2014-01-08 | Paper |
Completeness of Conversion between Reactive Programs for Ultrametric Models
Lecture Notes in Computer Science | 2013-06-28 | Paper |
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
| Weakening the axiom of overlap in infinitary lambda calculus | 2012-04-24 | Paper |
Decomposing the lattice of meaningless sets in the infinitary lambda calculus
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2090071 (Why is no real title available?) | 2004-08-12 | Paper |
Infinitary lambda calculus and discrimination of Berarducci trees.
Theoretical Computer Science | 2003-05-25 | Paper |
Intersection types for \(\lambda\)-trees
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1497857 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1479633 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1404217 (Why is no real title available?) | 2000-02-20 | Paper |
| scientific article; zbMATH DE number 1332646 (Why is no real title available?) | 1999-09-09 | Paper |
Infinitary lambda calculus
Theoretical Computer Science | 1998-07-23 | Paper |
Comparing curried and uncurried rewriting
Journal of Symbolic Computation | 1996-08-22 | Paper |
Transfinite reductions in orthogonal term rewriting systems
Information and Computation | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 759438 (Why is no real title available?) | 1995-05-30 | Paper |
Reasoning about update logic
Journal of Philosophical Logic | 1995-02-22 | Paper |
Dynamic interpretation and Hoare deduction
Journal of Logic, Language and Information | 1994-03-10 | Paper |
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
Mathematical Logic Quarterly | 1988-01-01 | Paper |
