Equilogical Spaces (1998)

Cached

Download Links

by Andrej Bauer , Lars Birkedal , Dana S. Scott
Citations:31 - 12 self

Active Bibliography

Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
1 Variations on Realizability: Realizing the Propositional Axiom of Choice – J. M. E. Hyland - 2000
88 Categorical Logic – Andrew M. Pitts - 1995
3 The Development of Categorical Logic – John L. Bell
4 On the ubiquity of certain total type structures – John Longley - 2007
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
22 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
16 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
12 Notions of computability at higher types I – John Longley - 2005
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
Realizability – Thomas Streicher - 2008
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
4 The Largest Topological Subcategory of Countably-based Equilogical Spaces – Matías Menni, Alex Simpson - 1998
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994
26 Domain Representations of Topological Spaces – Jens Blanck - 2000
1 Categorical Properties of Logical Frameworks – Yuxi Fu, Yuxi Fu - 1993