Type Theory via Exact Categories (Extended Abstract) (1998)

by L. Birkedal , A. Carboni , G. Rosolini , D. S. Scott
Venue:In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science LICS '98
Citations:7 - 0 self

Active Bibliography

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
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
12 Formalizing and verifying semantic type soundness for a simple compiler – Nick Benton, Uri Zarfaty - 2007
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
45 On subtyping and matching – Luca Cardelli - 1995
88 Categorical Logic – Andrew M. Pitts - 1995
31 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
1 Variations on Realizability: Realizing the Propositional Axiom of Choice – J. M. E. Hyland - 2000
2 Realizability: A historical essay – Jaap Van Oosten - 2000
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
9 The S-replete construction – J.M.E. Hyland, E. Moggi - 1995
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
14 A Logic of Subtyping – Giuseppe Longo, Kathleen Milsted, Sergei Soloviev - 1996
24 The Discrete Objects in the Effective Topos – J. M. E. Hyland, E. P. Robinson, G. Rosolini - 1990
10 Coherence and Transitivity of Subtyping as Entailment – Giuseppe Longo, Kathleen Milsted, Sergei SOLOVIEV - 1996
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
3 Towards Lambda Calculus Order-Incompleteness – Antonino Salibra