Full Abstraction by Translation (1996)

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

Documents Related by Co-Citation

48 Games and full abstraction for a functional metalanguage with recursive types – G McCusker - 1996
88 Categorical Logic – Andrew M. Pitts - 1995
60 Locus solum: From the rules of logic to the logic of rules – Jean-Yves Girard
239 The Formal Semantics of Programming Languages – G Winskel - 1993
104 Proofs and types. Cambridge Tracts – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
424 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
28 Lectures on Predomains and Partial Functions. Notes for a course at CSLI – G D Plotkin - 1985
99 Relational Properties of Domains – Andrew M. Pitts - 1996
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995
74 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
22 A Concurrent Lambda Calculus with Futures – Joachim Niehren, Jan Schwinghammer, Gert Smolka - 2006
10 Must Preorder in Non-Deterministic Untyped λ-calculus – U. de'Liguoro, A. Piperno - 1992
4 A fully abstract translation between a lambda-calculus with reference types and – E Ritter, A M Pitts - 1995
14 A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations – David Sabel, Manfred Schmidt-schauß - 2008
10 On the representation of McCarthy’s amb in the pi-calculus – A Carayol, D Hirschkoff, D Sangiorgi - 2005
11 Observational semantics for a concurrent lambda calculus with reference cells and futures – J Niehren, D Sabel, M Schmidt-Schauß, J Schwinghammer - 2007
7 Fully abstract semantics of additive aspects by translation – S. B. Sanjabi, C. -h. L. Ong - 2007