| Publication | Date of Publication | Type |
|---|
| Combining computation and deduction | 2024-09-06 | Paper |
A lambda calculus satellite
Studies in Logic (London) | 2024-03-01 | Paper |
Termination for the direct sum of left-linear term rewriting systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Partial combinatory algebra and generalized numberings
Theoretical Computer Science | 2022-06-24 | Paper |
scientific article; zbMATH DE number 7243677 (Why is no real title available?)
(available as arXiv preprint) | 2020-09-04 | Paper |
| scientific article; zbMATH DE number 7243677 (Why is no real title available?) | 2020-09-04 | Paper |
Partial combinatory algebra and generalized numberings
(available as arXiv preprint) | 2019-10-17 | Paper |
| scientific article; zbMATH DE number 7084942 (Why is no real title available?) | 2019-07-24 | Paper |
Fixed point theorems for precomplete numberings
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
Fixed point theorems for precomplete numberings
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
| scientific article; zbMATH DE number 7015116 (Why is no real title available?) | 2019-02-07 | Paper |
A two-level approach towards lean proof-checking
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Statman's hierarchy theorem
(available as arXiv preprint) | 2017-12-11 | Paper |
| Automata theoretic account of proof search | 2017-08-31 | Paper |
| Reflection in the Chomsky hierarchy | 2016-12-16 | Paper |
Foundations of mathematics from the perspective of computer verification
Mathematics, Computer Science and Logic - A Never Ending Story | 2015-07-08 | Paper |
In memoriam: Nicolaas Govert de Bruijn (1918--2012). The consciousness model
Nieuw Archief voor Wiskunde. Vijfde Serie | 2014-08-28 | Paper |
An Ontology of States
Lecture Notes in Computer Science | 2014-04-16 | Paper |
| scientific article; zbMATH DE number 6148924 (Why is no real title available?) | 2013-03-27 | Paper |
Loader and Urzyczyn are logically related
Automata, Languages, and Programming | 2012-11-01 | Paper |
Reasoning about constants in Nominal Isabelle or how to formalize the second fixed point theorem
Certified Programs and Proofs | 2011-11-22 | Paper |
| scientific article; zbMATH DE number 5852776 (Why is no real title available?) | 2011-02-18 | Paper |
Applications of infinitary lambda calculus
Information and Computation | 2009-06-08 | Paper |
The challenge of computer mathematics
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-20 | Paper |
Towards the range property for the lambda theory \(\mathcal H\)
Theoretical Computer Science | 2008-06-24 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2154392 (Why is no real title available?) | 2005-04-09 | Paper |
Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
Journal of Symbolic Computation | 2004-08-06 | Paper |
| Discriminating coded lambda terms | 2003-09-22 | Paper |
Autarkic computations in formal proofs
Journal of Automated Reasoning | 2002-08-20 | Paper |
| scientific article; zbMATH DE number 1722693 (Why is no real title available?) | 2002-03-21 | Paper |
| Proof-assistants using dependent type systems | 2001-12-04 | Paper |
Applications of Plotkin-terms: partitions and morphisms for closed terms
Journal of Functional Programming | 2000-10-17 | Paper |
Lambda terms for natural deduction, sequent calculus and cut elimination
Journal of Functional Programming | 2000-06-07 | Paper |
Introduction to generalized type systems
Journal of Functional Programming | 2000-02-09 | Paper |
Introduction to generalized type systems
Journal of Functional Programming | 2000-02-09 | Paper |
| scientific article; zbMATH DE number 1342247 (Why is no real title available?) | 1999-09-22 | Paper |
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Archive for Mathematical Logic | 1999-03-07 | Paper |
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
Journal of Symbolic Logic | 1999-02-02 | Paper |
| scientific article; zbMATH DE number 1169391 (Why is no real title available?) | 1998-06-25 | Paper |
| scientific article; zbMATH DE number 1142317 (Why is no real title available?) | 1998-05-14 | Paper |
Termination for direct sums of left-linear complete term rewriting systems
Journal of the ACM | 1998-01-28 | Paper |
The Impact of the Lambda Calculus in Logic and Computer Science
The Bulletin of Symbolic Logic | 1997-10-20 | Paper |
The Impact of the Lambda Calculus in Logic and Computer Science
The Bulletin of Symbolic Logic | 1997-10-20 | Paper |
| scientific article; zbMATH DE number 845591 (Why is no real title available?) | 1996-02-15 | Paper |
Enumerators of lambda terms are reducing constructively
Annals of Pure and Applied Logic | 1995-08-27 | Paper |
Theoretical Pearls:Representing ‘undefined’ in lambda calculus
Journal of Functional Programming | 1995-07-20 | Paper |
Theoretical PearlsEnumerators of lambda terms are reducing
Journal of Functional Programming | 1995-07-20 | Paper |
Constructive proofs of the range property in lambda calculus
Theoretical Computer Science | 1994-09-26 | Paper |
Systems of illative combinatory logic complete for first-order propositional and predicate calculus
Journal of Symbolic Logic | 1994-07-07 | Paper |
| scientific article; zbMATH DE number 177773 (Why is no real title available?) | 1993-05-18 | Paper |
LEAN: An intermediate language based on graph rewriting
Parallel Computing | 1989-01-01 | Paper |
Needed reduction and spine strategies for the lambda calculus
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3994513 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3963172 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3961577 (Why is no real title available?) | 1985-01-01 | Paper |
The lambda calculus. Its syntax and semantics. Rev. ed.
Studies in Logic and the Foundations of Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3889501 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3875232 (Why is no real title available?) | 1984-01-01 | Paper |
A filter lambda model and the completeness of type assignment
Journal of Symbolic Logic | 1983-01-01 | Paper |
Recursion theoretic operators and morphisms on numbered sets
Fundamenta Mathematicae | 1983-01-01 | Paper |
Semantics for classical AUTOMATH and related systems
Information and Control | 1983-01-01 | Paper |
The lambda calculus, its syntax and semantics
Studies in Logic and the Foundations of Mathematics | 1981-01-01 | Paper |
Degrees of sensible lambda theories
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3695144 (Why is no real title available?) | 1977-01-01 | Paper |
A global representation of the recursive functions in the \(\lambda\)- calculus
Theoretical Computer Science | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3619856 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3504962 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3520384 (Why is no real title available?) | 1975-01-01 | Paper |
Pairing Without Conventional Restraints
Mathematical Logic Quarterly | 1974-01-01 | Paper |
Combinatory logic and the ω-rule
Fundamenta Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3430630 (Why is no real title available?) | 1973-01-01 | Paper |
A characterization of terms of the λI-calculus having a normal form
Journal of Symbolic Logic | 1973-01-01 | Paper |
