|
4
|
Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract)
– Marcelo Fiore, Kohei Honda
- 1998
|
|
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
|
|
57
|
Game Theoretic Analysis Of Call-By-Value Computation
– Kohei Honda, NOBUKO YOSHIDA
- 1997
|
|
4
|
Axioms for Definability and Full Completeness
– Samson Abramsky
- 2000
|
|
44
|
Algorithmic Game Semantics
– Samson Abramsky
- 2001
|
|
11
|
The Girard Translation Extended with Recursion
– Torben Braüner
- 1995
|
|
91
|
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions
– Samson Abramsky, Guy McCusker
- 1997
|
|
|
External Examiner
– Weng Kin Ho, Dr. Martín Escardó
- 2006
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
|
Process Logic and Duality -- Part I: Sequential Processes
– Kohei Honda
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
21
|
Relational Reasoning about Contexts
– Søren B. Lassen
- 1998
|
|
4
|
Full Abstraction by Translation
– Guy Mccusker
- 1996
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
26
|
An Axiomatic Approach to Adequacy
– Torben Braüner, Torben Brauner, To Anne
- 1996
|
|
9
|
Operational domain theory and topology of a sequential language
– Martín Escardó, Weng Kin Ho
- 2005
|
|
23
|
Games and full abstraction for nondeterministic languages
– Russell S. Harmer
- 1999
|
|
|
Q Lecture Notes on Denotational Semantics
– Part Ii, Computer Science Tripos, Dr Marcelo Fiore, C A. M. Pitts, G. Winskel, M. Fiore Contents
|
|
128
|
Games and Full Abstraction for the Lazy lambda-calculus
– Samson Abramsky, Guy Mccusker
- 1995
|
