| Publication | Date of Publication | Type |
|---|
| A primer of mathematical analysis and the foundations of computation | 2024-03-01 | Paper |
Thoughts on Using the History of Mathematics to Teach the Foundations of Mathematical Analysis
Annals of the Canadian Society for History and Philosophy of Mathematics/ Société canadienne d’histoire et de philosophie des mathématiques | 2023-06-14 | Paper |
| scientific article; zbMATH DE number 7594130 (Why is no real title available?) | 2022-09-28 | Paper |
On normalizing disjunctive intermediate logics
Studies in Universal Logic | 2019-07-24 | Paper |
The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II.
Theoretical Computer Science | 2017-01-23 | Paper |
Bridging Curry and Church's typing style
Journal of Applied Logic | 2016-10-31 | Paper |
Type theories from Barendregt's cube for theorem provers
Trends in Logic | 2015-05-22 | Paper |
| Logical algebras as formal systems: H. B. Curry's approach to algebraic logic | 2014-05-19 | Paper |
Curry's formalism as structuralism
Logica Universalis | 2013-03-19 | Paper |
The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction
Theoretical Computer Science | 2011-12-23 | Paper |
| scientific article; zbMATH DE number 5318491 (Why is no real title available?) | 2008-09-01 | Paper |
Interpreting HOL in the calculus of constructions
Journal of Applied Logic | 2004-10-28 | Paper |
Variants of the basic calculus of constructions
Journal of Applied Logic | 2004-10-28 | Paper |
Extensional set equality in the calculus of constructions
Journal of Logic and Computation | 2002-05-14 | Paper |
On the role of implication in formal logic
Journal of Symbolic Logic | 2001-01-29 | Paper |
A Gentzen-style sequent calculus of constructions with expansion rules
Theoretical Computer Science | 2000-08-21 | Paper |
On lists and other abstract data types in the calculus of constructions
Mathematical Structures in Computer Science | 2000-06-21 | Paper |
On the proof theory of Coquand's calculus of constructions
Annals of Pure and Applied Logic | 1997-02-26 | Paper |
Coquand's calculus of constructions: A mathematical foundation for a proof development system
Formal Aspects of Computing | 1993-01-17 | Paper |
Normalization and excluded middle. I
Studia Logica | 1989-01-01 | Paper |
On adding (<i>ξ</i>) to weak equality in combinatory logic
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4045712 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3993540 (Why is no real title available?) | 1986-01-01 | Paper |
On the proof theory of the intermediate logic MH
Journal of Symbolic Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3765782 (Why is no real title available?) | 1981-01-01 | Paper |
A second corrigendum to my paper ''Note on definitional reductions''
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
Progress report on generalized functionality
Annals of Mathematical Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3593528 (Why is no real title available?) | 1978-01-01 | Paper |
A sequent calculus formulation of type assignment with equality rules for the λβ-calculus
Journal of Symbolic Logic | 1978-01-01 | Paper |
Some anomalies in Fitch's system <i>QD</i>
Journal of Symbolic Logic | 1978-01-01 | Paper |
A sequent calculus for type assignment
Journal of Symbolic Logic | 1977-01-01 | Paper |
The \(Q\)-consistency of \(F_{22}\)
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3485757 (Why is no real title available?) | 1975-01-01 | Paper |
Arithmetic as a study of formal systems
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Equality in
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3423994 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3373710 (Why is no real title available?) | 1972-01-01 | Paper |
Combinatory logic. Vol. II
Studies in Logic and the Foundations of Mathematics | 1972-01-01 | Paper |
Corrigendum to my paper: 'Note on definitional reductions'
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
Note on definitional reductions
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
