A Uniform Approach to Domain Theory in Realizability Models (1996)

Cached

Download Links

by John R. Longley , Alex K. Simpson
Venue:Mathematical Structures in Computer Science
Citations:19 - 6 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
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
8 Axioms and (Counter)examples in Synthetic Domain Theory – Jaap Van Oosten, Alex K. Simpson - 1998
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
88 Categorical Logic – Andrew M. Pitts - 1995
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
Studying repleteness in the category of cpos – Michael Makkai
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
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
31 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
13 Exact Completions and Toposes – Matias Menni - 2000
99 Relational Properties of Domains – Andrew M. Pitts - 1996
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000