| Publication | Date of Publication | Type |
|---|
A comonad for Grothendieck fibrations
Theory and Applications of Categories | 2024-05-08 | Paper |
Categorical reconstruction of a reduction free normalization proof
Category Theory and Computer Science | 2022-12-16 | Paper |
Independence results for calculi of dependent types
Category Theory and Computer Science | 2022-08-16 | Paper |
The genesis of the groupoid model
Mathematical Structures in Computer Science | 2022-06-24 | Paper |
Triposes as a generalization of localic geometric morphisms
Mathematical Structures in Computer Science | 2022-06-24 | Paper |
An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
| 2021-08-16 | Paper |
Simplicial sets inside cubical sets
| 2021-04-15 | Paper |
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
Archive for Mathematical Logic | 2019-01-14 | Paper |
scientific article; zbMATH DE number 6917933 (Why is no real title available?)
| 2018-08-15 | Paper |
Fibered Categories a la Jean Benabou
| 2018-01-09 | Paper |
A classical realizability model arising from a stable model of untyped lambda calculus
| 2017-12-11 | Paper |
The intrinsic topology of Martin-Löf universes
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
A model of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory
Journal of Applied Logic | 2016-05-10 | Paper |
Models of intuitionistic set theory in subtoposes of nested realizability toposes
Annals of Pure and Applied Logic | 2015-05-15 | Paper |
Observationally-induced algebras in domain theory
Logical Methods in Computer Science | 2014-09-30 | Paper |
Krivine's classical realisability from a categorical perspective
Mathematical Structures in Computer Science | 2014-04-16 | Paper |
Relating first-order set theories, toposes and categories of classes
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Realizability models refuting Ishihara's boundedness principle
Annals of Pure and Applied Logic | 2012-10-11 | Paper |
Relative completeness for logics of functional programs
| 2012-09-18 | Paper |
Constructive toposes with countable sums as models of constructive set theory
Annals of Pure and Applied Logic | 2012-09-06 | Paper |
A synthetic theory of sequential domains
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
Theoretical Computer Science | 2011-06-06 | Paper |
scientific article; zbMATH DE number 5593376 (Why is no real title available?)
| 2009-08-10 | Paper |
Forcing for IZF in sheaf toposes
| 2009-06-25 | Paper |
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
Annals of Pure and Applied Logic | 2009-06-11 | Paper |
Universality Results for Models in Locally Boolean Domains
Computer Science Logic | 2009-03-12 | Paper |
scientific article; zbMATH DE number 5360217 (Why is no real title available?)
| 2008-11-03 | Paper |
Relating First-Order Set Theories and Elementary Toposes
The Bulletin of Symbolic Logic | 2008-10-23 | Paper |
Shoenfield is Gödel after Krivine
MLQ | 2007-05-11 | Paper |
Domain-Theoretic Foundations of Functional Programming
| 2007-01-16 | Paper |
Well-foundedness in realizability
Archive for Mathematical Logic | 2006-11-06 | Paper |
Completeness of continuation models for \(\lambda_\mu\)-calculus
Information and Computation | 2006-10-10 | Paper |
Quotients of countably based spaces are not closed under sobrification
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
scientific article; zbMATH DE number 2247252 (Why is no real title available?)
| 2006-01-16 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2151115 (Why is no real title available?)
| 2005-04-04 | Paper |
On the non-sequential nature of the interval-domain model of real-number computation
Mathematical Structures in Computer Science | 2005-03-21 | Paper |
Semantics and logic of object calculi
Theoretical Computer Science | 2004-08-04 | Paper |
scientific article; zbMATH DE number 1985403 (Why is no real title available?)
| 2003-09-24 | Paper |
General synthetic domain theory – a logical approach
Mathematical Structures in Computer Science | 2003-09-11 | Paper |
In Domain Realizability, not all Functionals on C[–1, 1 are Continuous]
| 2003-01-08 | Paper |
The Michael completion of a topos spread
Journal of Pure and Applied Algebra | 2002-12-02 | Paper |
Impredicativity entails untypedness
Mathematical Structures in Computer Science | 2002-10-31 | Paper |
Distribution algebras and duality
Advances in Mathematics | 2001-10-28 | Paper |
scientific article; zbMATH DE number 1497801 (Why is no real title available?)
| 2001-03-04 | Paper |
scientific article; zbMATH DE number 956836 (Why is no real title available?)
| 2000-06-21 | Paper |
scientific article; zbMATH DE number 1302059 (Why is no real title available?)
| 2000-02-15 | Paper |
Classical logic, continuation semantics and abstract machines
Journal of Functional Programming | 1999-05-03 | Paper |
Induction and recursion on the partial real line with applications to Real PCF
Theoretical Computer Science | 1999-01-12 | Paper |
Inductive construction of repletion
Applied Categorical Structures | 1999-01-01 | Paper |
scientific article; zbMATH DE number 1086725 (Why is no real title available?)
| 1998-02-25 | Paper |
A universality theorem for PCF with recursive types, parallel-or and ∃
Mathematical Structures in Computer Science | 1994-12-11 | Paper |
scientific article; zbMATH DE number 517051 (Why is no real title available?)
| 1994-03-17 | Paper |
scientific article; zbMATH DE number 226803 (Why is no real title available?)
| 1993-07-05 | Paper |
Independence of the induction principle and the axiom of choice in the pure calculus of constructions
Theoretical Computer Science | 1993-01-16 | Paper |
Dependence and independence results for (impredicative) calculi of dependent types
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
Specification and design of shared resource arbitration
International Journal of Parallel Programming | 1992-06-28 | Paper |
scientific article; zbMATH DE number 4120168 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4018360 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3938561 (Why is no real title available?)
| 1985-01-01 | Paper |
