| Publication | Date of Publication | Type |
|---|
Nambu-covariant many-body theory. II: Self-consistent approximations
Annals of Physics | 2024-09-10 | Paper |
The bang calculus revisited
Information and Computation | 2023-07-17 | Paper |
Strong normalization of substitutions
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
The bang calculus revisited
(available as arXiv preprint) | 2021-07-06 | Paper |
Pure pattern calculus à la de Bruijn
(available as arXiv preprint) | 2021-02-22 | Paper |
| Normalisation for dynamic pattern calculi | 2020-05-27 | Paper |
Projections for infinitary rewriting (extended version)
Theoretical Computer Science | 2019-06-25 | Paper |
Call-by-need, neededness and all that
(available as arXiv preprint) | 2018-07-17 | Paper |
Projections for infinitary rewriting
(available as arXiv preprint) | 2018-04-23 | Paper |
On abstract normalisation beyond neededness
Theoretical Computer Science | 2018-02-09 | Paper |
On abstract normalisation beyond neededness
Theoretical Computer Science | 2018-02-09 | Paper |
Proof Terms for Infinitary Rewriting
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Explicit substitutions à la de Bruijn: the local and global way
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
The λ-calculus with constructors: Syntax, confluence and separation
Journal of Functional Programming | 2009-11-13 | Paper |
A Lambda-Calculus with Constructors
Lecture Notes in Computer Science | 2008-09-25 | Paper |
The Weak Normalization of the Simply Typed se-calculus
Logic Journal of the IGPL | 2008-01-14 | Paper |
Relating Higher-order and First-order Rewriting
Journal Of Logic And Computation | 2006-02-21 | Paper |
de Bruijn Indices for Metaterms
Journal Of Logic And Computation | 2006-02-21 | Paper |
Pure Type Systems with de Bruijn Indices
The Computer Journal | 2002-12-19 | Paper |
| scientific article; zbMATH DE number 1722698 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1615230 (Why is no real title available?) | 2001-07-08 | Paper |
Relating the - and s-styles of explicit substitutions
Journal Of Logic And Computation | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1332643 (Why is no real title available?) | 1999-09-09 | Paper |
Bridging de Bruijn indices and variable names in explicit substitutions calculi
Logic Journal of the IGPL | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1088029 (Why is no real title available?) | 1998-04-01 | Paper |
Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms
Journal of Functional Programming | 1998-03-12 | Paper |
Strong normalization of substitutions
Journal of Logic and Computation | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 4182831 (Why is no real title available?) | 1991-01-01 | Paper |
