| Publication | Date of Publication | Type |
|---|
| Normalization properties of $\lambda\mu$-calculus using realizability semantics | 2023-11-07 | Paper |
| Normalization in the simply typed -calculus | 2023-04-27 | Paper |
| Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus | 2022-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4685318 | 2018-10-05 | Paper |
| Some properties of the -calculus | 2018-08-28 | Paper |
| An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus | 2018-08-15 | Paper |
| A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics | 2017-10-12 | Paper |
| Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi | 2017-10-12 | Paper |
| About the range property for H | 2014-01-22 | Paper |
| A semantics of realisability for the classical propositional natural deduction | 2013-10-02 | Paper |
| Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus | 2013-10-02 | Paper |
| On Realisability Semantics for Intersection Types with Expansion Variables | 2013-01-24 | Paper |
| Strong normalization results by translation | 2011-08-26 | Paper |
| Classical Combinatory Logic | 2010-07-28 | Paper |
| Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus | 2010-07-28 | Paper |
| Complete Types in an Extension of the System AF2 | 2009-11-30 | Paper |
| A completeness result for the simply typed \(\lambda \mu \)-calculus | 2009-10-09 | Paper |
| Realisability Semantics for Intersection Types and Expansion Variables | 2009-05-13 | Paper |
| A short proof of the strong normalization of the simply typed $\lambda\mu$-calculus | 2009-05-11 | Paper |
| Parametric mixed sequent calculus | 2009-05-11 | Paper |
| Storage operators and forall-positive types of system TTR | 2009-05-05 | Paper |
| La Valeur d'un Entier Classique en $\lambda\mu$-Calcul | 2009-05-05 | Paper |
| Une r\'eponse n\'egative \`a la conjecture de E. Tronci pour les syst\`emes num\'eriques typ\'es | 2009-05-05 | Paper |
| I-Types of System F | 2009-05-04 | Paper |
| An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types | 2009-03-10 | Paper |
| A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables | 2009-01-27 | Paper |
| Arithmetical proofs of strong normalization results for symmetric lambda calculi | 2007-07-20 | Paper |
| A completeness result for a realisability semantics for an intersection type system | 2007-05-23 | Paper |
| A semantical proof of the strong normalization theorem for full propositional classical natural deduction | 2006-03-22 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| A short proof of the strong normalization of classical natural deduction with disjunction | 2005-02-09 | Paper |
| Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic | 2004-10-27 | Paper |
| Non deterministic classical logic: the $\lambda\mu^{++}$-calculus | 2002-11-13 | Paper |
| Les types de données syntaxiques du système ${\cal F}$ | 2002-04-29 | Paper |
| LesI-types du système ${\cal F}$ | 2002-04-29 | Paper |
| Mixed logic and storage operators | 2000-07-09 | Paper |
| On Storage Operators | 2000-02-15 | Paper |
| A conjecture on numeral systems | 1999-08-17 | Paper |
| Un résultat de complétude pour les types ∀+ du système F | 1999-01-24 | Paper |
| A syntactical proof of the operational equivalence of two \(\lambda\)-terms | 1998-07-22 | Paper |
| Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ | 1998-05-24 | Paper |
| Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés | 1998-05-24 | Paper |
| S-Storage Operators | 1998-03-04 | Paper |
| The value of a classical integer in \(\lambda \mu\)-calculus | 1997-06-23 | Paper |
| An example of a non adequate numeral system | 1997-06-15 | Paper |
| Storage Operators and ∀‐positive Types in TTR Type System | 1996-12-05 | Paper |
| Opérateurs de mise en mémoire et types $\forall $-positifs | 1996-12-01 | Paper |
| Storage operators and directed lambda-calculus | 1996-06-13 | Paper |
| A General Type for Storage Operators | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4862127 | 1996-02-13 | Paper |
| Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul | 1996-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4852318 | 1996-01-30 | Paper |
| Strong storage operators and data types | 1995-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4291250 | 1994-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142911 | 1994-01-09 | Paper |
