| Publication | Date of Publication | Type |
|---|
| A language for evaluating derivatives of functionals using automatic differentiation | 2026-04-02 | Paper |
| A definitional implementation of the Lax logical framework \(\mathsf{LLF}_{\mathscr{P}}\) in \texttt{Coq}, for supporting fast and loose reasoning | 2025-08-19 | Paper |
| A Cartesian closed category for random variables | 2025-06-18 | Paper |
| Principal types as nets | 2024-08-01 | Paper |
| lambda!-calculus, Intersection Types, and Involutions | 2022-07-18 | Paper |
| LF+ in Coq for "fast and loose" reasoning | 2020-01-21 | Paper |
An abstract data type for real numbers
Automata, Languages and Programming | 2018-07-04 | Paper |
| Innocent game semantics via intersection type assignment systems | 2017-02-02 | Paper |
| Lazy algorithms for exact real arithmetic | 2013-09-11 | Paper |
A language for differentiable functions
Lecture Notes in Computer Science | 2013-03-18 | Paper |
Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
RPO, Second-order Contexts, and Lambda-calculus
Logical Methods in Computer Science | 2009-08-20 | Paper |
A type assignment system for game semantics
Theoretical Computer Science | 2008-06-24 | Paper |
RPO, Second-Order Contexts, and λ-Calculus
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A certified, corecursive implementation of exact real numbers
Theoretical Computer Science | 2006-03-20 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2085165 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080222 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2003155 (Why is no real title available?) | 2003-11-12 | Paper |
| scientific article; zbMATH DE number 1696612 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1722650 (Why is no real title available?) | 2002-03-21 | Paper |
An abstract data type for real numbers
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1342276 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1333613 (Why is no real title available?) | 1999-09-19 | Paper |
Real number computability and domain theory
Information and Computation | 1997-02-03 | Paper |
| scientific article; zbMATH DE number 794258 (Why is no real title available?) | 1996-06-25 | Paper |
| scientific article; zbMATH DE number 512776 (Why is no real title available?) | 1994-03-10 | Paper |
