| Publication | Date of Publication | Type |
|---|
| Meaningless sets in infinitary combinatory logic | 2020-05-27 | Paper |
Observational equivalence for multiparty sessions
Fundamenta Informaticae | 2020-01-24 | Paper |
A light modality for recursion
Logical Methods in Computer Science | 2019-02-25 | Paper |
| Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes | 2017-07-11 | Paper |
On sessions and infinite data
(available as arXiv preprint) | 2017-06-22 | Paper |
The infinitary lambda calculus of the infinite eta Böhm trees
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
A light modality for recursion
Lecture Notes in Computer Science | 2017-05-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 |
| Eliminating proofs from programs | 2013-08-19 | 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 |
An operational approach to program extraction in the calculus of constructions
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Recursive Domain Equations of Filter Models
SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | 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 |
Studies of a theory of specifications with built-in program extraction
Journal of Automated Reasoning | 2002-01-07 | Paper |
| scientific article; zbMATH DE number 1497857 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1499107 (Why is no real title available?) | 2000-09-03 | Paper |
Perpetual reductions in -calculus
Information and Computation | 1999-09-09 | Paper |
Type inference for pure type systems
Information and Computation | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 891219 (Why is no real title available?) | 1996-06-18 | Paper |
