| Publication | Date of Publication | Type |
|---|
Generalising the fan theorem
Mathematical Logic Quarterly | 2020-04-29 | Paper |
| Exponentiation of Scott formal topologies | 2013-10-10 | Paper |
Cantor theorem and friends, in logical form
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Objects: a study in Kantian formal epistemology
Notre Dame Journal of Formal Logic | 2012-11-29 | Paper |
Relative formal topology: the binary positivity predicate comes first
Mathematical Structures in Computer Science | 2012-03-22 | Paper |
Independence results in formal topology
Annals of Pure and Applied Logic | 2011-12-12 | Paper |
Spatiality and classical logic
Mathematical Logic Quarterly | 2011-09-27 | Paper |
Formalization of formal topology by means of the interactive theorem prover Matita
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Vagueness, Kant and topology: a study of formal epistemology
Journal of Philosophical Logic | 2008-04-09 | Paper |
Constructive characterizations of bar subsets
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Every countably presented formal topology is spatial, classically
Journal of Symbolic Logic | 2006-08-03 | Paper |
A structural investigation on formal topology: coreflection of formal covers and exponentiability
Journal of Symbolic Logic | 2005-08-29 | Paper |
The problem of the formalization of constructive topology
Archive for Mathematical Logic | 2005-02-22 | Paper |
Krivine's intuitionistic proof of classical completeness (for countable languages)
Annals of Pure and Applied Logic | 2004-11-22 | Paper |
A binary modal logic for the intersection types of lambda-calculus.
Information and Computation | 2004-03-14 | Paper |
Inductively generated formal topologies.
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
On the formal points of the formal topology of the binary tree
Archive for Mathematical Logic | 2003-09-16 | Paper |
An elementary proof of strong normalization for intersection types
Archive for Mathematical Logic | 2003-09-16 | Paper |
A cartesian closed category in Martin-Löf's intuitionistic type theory
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1746890 (Why is no real title available?) | 2002-05-29 | Paper |
A general method for proving the normalization theorem for first and second order typed λ-calculi
Mathematical Structures in Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1302067 (Why is no real title available?) | 2000-06-13 | Paper |
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
Mathematical Logic Quarterly | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1302065 (Why is no real title available?) | 2000-02-15 | Paper |
Tychonoff's theorem in the framework of formal topologies
Journal of Symbolic Logic | 1998-07-01 | Paper |
Constructive domain theory as a branch of intuitionistic pointfree topology
Theoretical Computer Science | 1997-02-27 | Paper |
An Intuitionistic Version of Cantor's Theorem
Mathematical Logic Quarterly | 1997-02-23 | Paper |
Decidability in Intuitionistic Type Theory is Functionally Decidable
Mathematical Logic Quarterly | 1997-01-13 | Paper |
| scientific article; zbMATH DE number 937395 (Why is no real title available?) | 1996-10-20 | Paper |
| scientific article; zbMATH DE number 814613 (Why is no real title available?) | 1995-12-14 | Paper |
Representation Theorems for Quantales
Mathematical Logic Quarterly | 1995-07-06 | Paper |
| scientific article; zbMATH DE number 722285 (Why is no real title available?) | 1995-02-13 | Paper |
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability
Mathematical Logic Quarterly | 1994-11-24 | Paper |
Local computation in linear logic
Mathematical Logic Quarterly | 1994-10-05 | Paper |
| scientific article; zbMATH DE number 591209 (Why is no real title available?) | 1994-06-19 | Paper |
| scientific article; zbMATH DE number 517090 (Why is no real title available?) | 1994-04-17 | Paper |
| scientific article; zbMATH DE number 202572 (Why is no real title available?) | 1993-11-28 | Paper |
An intuitionistic theory of types with assumptions of high-arity variables
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1992-01-01 | Paper |
A Syntactic Proof of Cut‐Elimination For GLlin
Mathematical Logic Quarterly | 1986-01-01 | Paper |
The modal logic of provability: cut-elimination
Journal of Philosophical Logic | 1983-01-01 | Paper |
THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3831899 (Why is no real title available?) | 1983-01-01 | Paper |
The modal logic of provability. The sequential approach
Journal of Philosophical Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3779292 (Why is no real title available?) | 1982-01-01 | Paper |
A modal sequent calculus for a fragment of arithmetic
Studia Logica | 1980-01-01 | Paper |
Post Completeness and Free Algebras
Mathematical Logic Quarterly | 1980-01-01 | Paper |
