| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 512989 (Why is no real title available?) | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 139629 (Why is no real title available?) | 1993-03-28 | Paper |
Nonstandard methods in combinatorics and theoretical computer science
Studia Logica | 1989-01-01 | Paper |
A probabilistic analysis of loop programs
Computer Languages | 1989-01-01 | Paper |
Coherence in Cartesian closed categories and the generality of proofs
Studia Logica | 1989-01-01 | Paper |
On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
A cut elimination theorem for stationary logic
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3979058 (Why is no real title available?) | 1986-01-01 | Paper |
"On the plausibility of nonstandard proofs in analysis"
Dialectica | 1984-01-01 | Paper |
VARIABLE TRUTH
Mathematical Logic Quarterly | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3963828 (Why is no real title available?) | 1984-01-01 | Paper |
| Monadic Properties of Uniformities | 1983-01-01 | Paper |
THE CONTINUOUS REALIZABILITY OF ENTAILMENT
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3860378 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3799641 (Why is no real title available?) | 1983-01-01 | Paper |
Categorical De Morgan laws
Algebra Universalis | 1981-01-01 | Paper |
Algebra of proofs
Studies in Logic and the Foundations of Mathematics | 1978-01-01 | Paper |
The logic of closed categories
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
An addendum to my paper 'A categorical equivalence of proofs'
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
Quantifier-complete categories
Journal of Pure and Applied Algebra | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3489101 (Why is no real title available?) | 1976-01-01 | Paper |
A Counter-Example to Coherence in Cartesian Closed Categories
Canadian Mathematical Bulletin | 1975-01-01 | Paper |
Polycategories
Communications in Algebra | 1975-01-01 | Paper |
A categorical characterization of Boolean algebras
Algebra Universalis | 1974-01-01 | Paper |
A categorical equivalence of proofs
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3356742 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3333259 (Why is no real title available?) | 1969-01-01 | Paper |
