| Publication | Date of Publication | Type |
|---|
Final universes of processes
Lecture Notes in Computer Science | 2023-04-28 | Paper |
A final coalgebra theorem
Category Theory and Computer Science | 2022-08-16 | Paper |
scientific article; zbMATH DE number 7078767 (Why is no real title available?)
| 2019-07-10 | Paper |
Generalized geometric theories and set-generated classes
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Local constructive set theory and inductive definitions
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
Are there enough injective sets?
Studia Logica | 2013-06-27 | Paper |
A coalgebraic view of infinite trees and iteration
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Rudimentary and arithmetical constructive set theory
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Equalisers of frames in constructive set theory
The Western Ontario Series in Philosophy of Science | 2012-09-06 | Paper |
On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
A Constructive Version of the Lusin Separation Theorem
Synthese Library | 2009-03-12 | Paper |
The Relation Reflection Scheme
Mathematical Logic Quarterly | 2008-03-07 | Paper |
Binary refinement implies discrete exponentiation
Studia Logica | 2007-01-29 | Paper |
The generalised type-theoretic interpretation of constructive set theory
Journal of Symbolic Logic | 2006-07-05 | Paper |
Aspects of general topology in constructive set theory
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
scientific article; zbMATH DE number 2087341 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2085163 (Why is no real title available?)
| 2004-08-09 | Paper |
Infinite trees and completely iterative theories: A coalgebraic view
Theoretical Computer Science | 2003-07-30 | Paper |
The Russell-Prawitz modality
MSCS. Mathematical Structures in Computer Science | 2002-07-05 | Paper |
scientific article; zbMATH DE number 1420782 (Why is no real title available?)
| 2000-09-20 | Paper |
scientific article; zbMATH DE number 1342246 (Why is no real title available?)
| 2000-03-29 | Paper |
scientific article; zbMATH DE number 1070619 (Why is no real title available?)
| 1997-10-07 | Paper |
scientific article; zbMATH DE number 972575 (Why is no real title available?)
| 1997-05-28 | Paper |
scientific article; zbMATH DE number 753777 (Why is no real title available?)
| 1997-04-21 | Paper |
scientific article; zbMATH DE number 65526 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 42735 (Why is no real title available?)
| 1992-09-17 | Paper |
scientific article; zbMATH DE number 4012604 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3839951 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3765771 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3722625 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3754682 (Why is no real title available?)
| 1978-01-01 | Paper |
Recursive density types and Nerode extensions of arithmetic
Journal of the Australian Mathematical Society | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3506643 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3497881 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3456918 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3427335 (Why is no real title available?)
| 1972-01-01 | Paper |
Describing ordinals using functionals of transfinite type
Journal of Symbolic Logic | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3360169 (Why is no real title available?)
| 1972-01-01 | Paper |
Representability in some systems of second order arithmetic
Israel Journal of Mathematics | 1970-01-01 | Paper |
