| Publication | Date of Publication | Type |
|---|
| Symbolic computation and teaching | 2024-06-21 | Paper |
Category theory in Isabelle/HOL as a basis for meta-logical investigation
Lecture Notes in Computer Science | 2024-02-28 | Paper |
Computer-supported exploration of a categorical axiomatization of modeloids
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7354705 (Why is no real title available?) | 2021-06-03 | Paper |
Labor market trends and unemployment insurance generosity during the pandemic
Economics Letters | 2021-03-29 | Paper |
Automating free logic in HOL, with an experimental application in category theory
Journal of Automated Reasoning | 2020-03-03 | Paper |
A calculus of regions respecting both measure and topology
Journal of Philosophical Logic | 2019-12-19 | Paper |
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
(available as arXiv preprint) | 2019-10-27 | Paper |
CAN MODALITIES SAVE NAIVE SET THEORY?
The Review of Symbolic Logic | 2018-05-03 | Paper |
Automating free logic in Isabelle/HOL
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
| Axiomatizing Category Theory in Free Logic | 2016-09-06 | Paper |
Remembering Klaus Peters
Notices of the American Mathematical Society | 2016-06-15 | Paper |
Cartesian closed categories of separable Scott domains
Theoretical Computer Science | 2014-07-25 | Paper |
Stochastic \(\lambda\)-calculi: an extended abstract
Journal of Applied Logic | 2014-07-07 | Paper |
| scientific article; zbMATH DE number 6296807 (Why is no real title available?) | 2014-05-19 | Paper |
Reconsidering Ordered Pairs
The Bulletin of Symbolic Logic | 2009-03-25 | Paper |
| scientific article; zbMATH DE number 5295821 (Why is no real title available?) | 2008-07-01 | Paper |
Equilogical spaces
Theoretical Computer Science | 2004-08-06 | Paper |
| Continuous Lattices and Domains | 2003-01-07 | Paper |
| scientific article; zbMATH DE number 1848279 (Why is no real title available?) | 2003-01-01 | Paper |
Local realizability toposes and a modal logic for computability
Mathematical Structures in Computer Science | 2002-10-31 | Paper |
| scientific article; zbMATH DE number 1497740 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1531377 (Why is no real title available?) | 2001-02-28 | Paper |
Some reflections on Strachey and his work
Higher-Order and Symbolic Computation | 2000-12-04 | Paper |
| scientific article; zbMATH DE number 1142322 (Why is no real title available?) | 1998-05-14 | Paper |
A type-theoretical alternative to ISWIM, CUCH, OWHY
Theoretical Computer Science | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 437512 (Why is no real title available?) | 1993-12-15 | Paper |
| scientific article; zbMATH DE number 3906553 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3780545 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3817067 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3783068 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3706504 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3813583 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3645093 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650529 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3706405 (Why is no real title available?) | 1979-01-01 | Paper |
A Simple Proof of the Formula for the Blowing up of Chern Classes
American Journal of Mathematics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3653565 (Why is no real title available?) | 1977-01-01 | Paper |
Logic and programming languages
Communications of the ACM | 1977-01-01 | Paper |
Data Types as Lattices
SIAM Journal on Computing | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3503199 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3503200 (Why is no real title available?) | 1975-01-01 | Paper |
The self-intersection formula and the ‘formule-clef’
Mathematical Proceedings of the Cambridge Philosophical Society | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3532923 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3532924 (Why is no real title available?) | 1975-01-01 | Paper |
An algebraic correspondence with applications to projective bundles and blowing up Chern classes
Annali di Matematica Pura ed Applicata. Serie Quarta | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3497860 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3499760 (Why is no real title available?) | 1974-01-01 | Paper |
Rules and Derived Rules
Logical Theory and Semantic Analysis | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3435458 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3379785 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3440003 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3423547 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358472 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3362972 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3461905 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3337652 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3328156 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3298824 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3300584 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3313428 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3313428 (Why is no real title available?) | 1968-01-01 | Paper |
Some definitional suggestions for automata theory
Journal of Computer and System Sciences | 1967-01-01 | Paper |
A proof of the independence of the continuum hypothesis
Mathematical Systems Theory | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3321248 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3266609 (Why is no real title available?) | 1965-01-01 | Paper |
Measurement structures and linear inequalities
Journal of Mathematical Psychology | 1964-01-01 | Paper |
Additions to some results of Erdös and Tarski
Fundamenta Mathematicae | 1964-01-01 | Paper |
Invariant Borel sets
Fundamenta Mathematicae | 1964-01-01 | Paper |
Reduced direct products
Fundamenta Mathematicae | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3316918 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3316896 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3242158 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3247160 (Why is no real title available?) | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3251385 (Why is no real title available?) | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3204611 (Why is no real title available?) | 1961-01-01 | Paper |
Lifting of Correspondences between Algebraic Surfaces and the Fundamental Theorem for Correspondences with Albanese Valencies
Proceedings of the London Mathematical Society | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3275567 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319510 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3253954 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3250587 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319515 (Why is no real title available?) | 1960-01-01 | Paper |
Foundational aspects of theories of measurement
Journal of Symbolic Logic | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3254905 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3150393 (Why is no real title available?) | 1959-01-01 | Paper |
Generalization of a lemma of G. F. Rose
Journal of Symbolic Logic | 1959-01-01 | Paper |
The sentential calculus with infinitely long expressions
Colloquium Mathematicum | 1958-01-01 | Paper |
| The Independence of Certain Distributive Laws in Boolean Algebras | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3122417 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3120479 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3122415 (Why is no real title available?) | 1955-01-01 | Paper |
