| Publication | Date of Publication | Type |
|---|
Pairings on Lambda Algebras Mathematical Logic Quarterly | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4029870 (Why is no real title available?) | 1987-01-01 | Paper |
Lambda‐Algebras and C‐Monoids Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3928999 (Why is no real title available?) | 1985-01-01 | Paper |
Characterizing categories of algebras Algebra Universalis | 1984-01-01 | Paper |
ON THE ORDER STRUCTURE OF THE HYPERREAL LINE Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3783003 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3794036 (Why is no real title available?) | 1982-01-01 | Paper |
Calculus is Algebra The American Mathematical Monthly | 1982-01-01 | Paper |
Complexity bounds on proofs Journal of Symbolic Logic | 1981-01-01 | Paper |
A Language for Type‐Free Algebra Mathematical Logic Quarterly | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3629018 (Why is no real title available?) | 1978-01-01 | Paper |
CONTEXT-FREE ALGEBRAS Journal of Cybernetics | 1976-01-01 | Paper |
A logical framework for large file information handling Information Sciences | 1975-01-01 | Paper |
A Semantic Basis for Program Verification Journal of Cybernetics | 1975-01-01 | Paper |
Categorical languages for algebraic structures Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3412582 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3407891 (Why is no real title available?) | 1972-01-01 | Paper |
Foundations as a branch of mathematics. Comments by Charles Castonguay Journal of Philosophical Logic | 1972-01-01 | Paper |
Quasiprimitive subcategories Mathematische Annalen | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3345545 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3280053 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3304001 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3270618 (Why is no real title available?) | 1968-01-01 | Paper |
Logical truth and logical implication Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3218742 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3174476 (Why is no real title available?) | 1963-01-01 | Paper |