| Publication | Date of Publication | Type |
|---|
Effective longest and infinite reduction paths in untyped λ-calculi
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
Book review of: R. Smullyan, A beginner's further guide to mathematical logic
Studia Logica | 2019-11-29 | Paper |
Book review of: Katalin Bimbó, Combinatory logic. Pure, applied and typed
Studia Logica | 2013-12-05 | Paper |
A syntactic embedding of predicate logic into second-order propositional logic
Notre Dame Journal of Formal Logic | 2010-12-01 | Paper |
Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
Journal of Symbolic Logic | 2009-03-23 | Paper |
A Note on Shortest Developments
Logical Methods in Computer Science | 2008-04-01 | Paper |
Lectures on the Curry-Howard isomorphism
Studies in Logic and the Foundations of Mathematics | 2007-05-30 | Paper |
Strong normalization from weak normalization by translation into the lambda-I-calculus
Higher-Order and Symbolic Computation | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 1953289 (Why is no real title available?) | 2003-07-27 | Paper |
Conservation and uniform normalization in lambda calculi with erasing reductions
Information and Computation | 2003-01-14 | Paper |
Weak normalization implies strong normalization in a class of non-dependent pure type systems
Theoretical Computer Science | 2002-03-03 | Paper |
An induction principle for pure type systems
Theoretical Computer Science | 2002-03-03 | Paper |
Domain-free pure type systems
Journal of Functional Programming | 2002-02-17 | Paper |
| scientific article; zbMATH DE number 1630107 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1523050 (Why is no real title available?) | 2000-10-30 | Paper |
Conjunctive partial deduction: foundations, control, algorithms, and experiments
The Journal of Logic Programming | 2000-09-26 | Paper |
Convergence of program transformers in the metric space of trees
Science of Computer Programming | 2000-09-20 | Paper |
| scientific article; zbMATH DE number 1479632 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1456971 (Why is no real title available?) | 2000-06-07 | Paper |
CPS translations and applications: The cube and beyond
Higher-Order and Symbolic Computation | 2000-01-30 | Paper |
Perpetual reductions in \(\lambda\)-calculus
Information and Computation | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1114328 (Why is no real title available?) | 1998-05-17 | Paper |
Strong normalization from weak normalization in typed \(\lambda\)-calculi
Information and Computation | 1997-07-20 | Paper |
A positive supercompiler
Journal of Functional Programming | 1997-06-04 | Paper |
