Robin Milner. Fully abstract models of typed lambda-calculi. Theoretical Computer Science, 4:1--22, 1977. 59 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Axioms for Strict and Lazy Functional Programs - Stärk (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (1 citation) (Correct)
An Equational Theory for a Region Calculus - Revised - Helsen (2002) (Correct)
Lifting Transformations - McAllester, Siskind (1991) (Correct)
Games and Full Abstraction for FPC - McCusker (1996) (26 citations) (Correct)
Full Abstraction for PCF - Abramsky, Jagadeesan, Malacaria (1996) (116 citations) (Correct)
Full Abstraction for Idealized Algol with Passive Expressions - Abramsky, McCusker (1998) (12 citations) (Correct)
Games and Full Abstraction for the Lazy lambda-calculus - Abramsky, McCusker (1995) (3 citations) (Correct)
An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
The Lazy Lambda Calculus - Abramsky (1990) (176 citations) (Correct)
Stable Bistructure Models of PCF - Winskel (1994) (1 citation) (Correct)
Full Abstraction for PCF - Samson Abramsky Radha (1994) (116 citations) (Correct)
A Study of Objects - Hankin (1999) (Correct)
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (35 citations) (Correct)
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (2005) (Correct)
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Asynchronous Games 2 - The true concurrency of innocence - Mellies (2004) (1 citation) (Correct)
Stable and Sequential Functions on Scott Domains - Brookes, Geva (1992) (1 citation) (Correct)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Processes and Games - Honda (2003) (Correct)
Playful, Streamlike Computation - Curien (2003) (Correct)
Game Semantics and Subtyping - Chroboczek (2003) (2 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC