A Note on Logical Relations Between Semantics and Syntax (1997)

Cached

Download Links

by Andrew Pitts
Citations:9 - 0 self

Active Bibliography

External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
5 Full Abstraction by Translation – Guy Mccusker - 1996
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
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
Fully Abstract Bidomain Models of the λ-Calculus – Jim Laird - 2001
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
5 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
99 Relational Properties of Domains – Andrew M. Pitts - 1996
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003