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

View PDF

Download Links

by Andrew Pitts
Citations:11 - 0 self

Active Bibliography

A Note on Logical Relations Between Semantics and Syntax – unknown authors
Declaration – Weng Kin Ho - 2006
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
6 Full Abstraction by Translation – Guy Mccusker - 1996
30 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
77 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999