|
27
|
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
|
|
2
|
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
|
|
|
Part II Local Realizability Toposes and a Modal Logic for
– unknown authors
|
|
18
|
Developing Theories of Types and Computability via Realizability
– Lars Birkedal
- 2000
|
|
11
|
Two Models of Synthetic Domain Theory
– Marcelo P. Fiore, Giuseppe Rosolini
- 1997
|
|
7
|
Recursive Types in Kleisli Categories
– Alex K. Simpson
- 1992
|
|
2
|
An operational domain-theoretic treatment of recursive types
– Weng Kin Ho
- 2006
|
|
59
|
Call-by-Value Games
– Samson Abramsky, Guy Mccusker
- 1997
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
|
External Examiner
– Weng Kin Ho, Dr. Martín Escardó
- 2006
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
33
|
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
|
|
9
|
A Convenient Category of Domains
– Ingo Battenfeld, Matthias Schröder, Alex Simpson
|
