Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory (2003)

by Alex Simpson
Venue:In Proc. 17th IEEE Symposium on Logic in Computer Science
Citations:9 - 2 self

Active Bibliography

19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
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
7 First steps in synthetic guarded domain theory: step-indexing in the topos of trees – Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
8 Axioms and (Counter)examples in Synthetic Domain Theory – Jaap Van Oosten, Alex K. Simpson - 1998
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
3 Relating first-order set theories, toposes and categories of classes – Steve Awodey, Thomas Streicher - 2006
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
Studying repleteness in the category of cpos – Michael Makkai
1 Variations on Realizability: Realizing the Propositional Axiom of Choice – J. M. E. Hyland - 2000
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
LINEAR ABADI & PLOTKIN LOGIC – Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus, Lerchedahl Petersen - 2006
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996