Full Abstraction by Translation (1996)

by Guy Mccusker
Venue:Proc., 3rd Workshop in Theory and Formal Methods
Citations:6 - 0 self

Active Bibliography

9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
133 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
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