External Examiner (2006)

Cached

Download Links

by Weng Kin Ho , Dr. Martín Escardó

Active Bibliography

2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
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
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
Adding Input-Output to PCF – Jerzy Tiuryn, Mitchell Wand - 1995
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
2 Bisimilarity for the region calculus – Simon Helsen
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
31 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
11 Operational domain theory and topology of a sequential language – Martín Escardó, Weng Kin Ho - 2005