Exact Completions and Toposes (2000)

Cached

Download Links

by Matias Menni
Venue:University of Edinburgh
Citations:13 - 4 self

Active Bibliography

20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
5 A Characterization Of The Left Exact Categories Whose Exact Completions Are Toposes – Matias Menni - 1999
2 A Theory of Adjoint Functors —with some Thoughts about their Philosophical Significance – David Ellerman - 2005
2 Closure Operators in Exact Completions – Matias Menni - 2001
3 The Development of Categorical Logic – John L. Bell
2 Realizability: A historical essay – Jaap Van Oosten - 2000
Domains in H – Marcelo P. Fiore, Giuseppe Rosolini
The King's Buildings Edinburgh EH9 3JZ, Scotland – Marcelo Fiore
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
88 Categorical Logic – Andrew M. Pitts - 1995
1 Variations on Realizability: Realizing the Propositional Axiom of Choice – J. M. E. Hyland - 2000
2 A categorical version of the Brouwer-Heyting-Kolmogorov interpretation – Erik Palmgren - 2002
Studying repleteness in the category of cpos – Michael Makkai
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
9 The S-replete construction – J.M.E. Hyland, E. Moggi - 1995
7 Type Theory via Exact Categories (Extended Abstract) – L. Birkedal, A. Carboni, G. Rosolini, D. S. Scott - 1998