K. Mulmuley. Full Abstraction and Semantic Equivalence. MIT Press, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Full Abstraction for PCF - Abramsky, Jagadeesan, Malacaria (1996) (116 citations) (Correct)
Correspondence between operational and denotational semantics: the.. - Ong (1995) (16 citations) (Correct)
Sequential Functions on Indexed Domains and Full Abstraction.. - Brookes, Geva (1994) (2 citations) (Correct)
Taming the Y operator - Guillermo Juan (Correct)
Games and Full Abstraction for PCF: Preliminary.. - Abramsky, Jagadeesan.. (1993) (3 citations) (Correct)
Full Abstraction for PCF - Abramsky, Jagadeesan, Malacaria (1995) (116 citations) (Correct)
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (1 citation) (Correct)
Universal Profinite Domains - Gunter (1987) (Correct)
Correspondence between Operational and Denotational Semantics - Ong (1995) (16 citations) (Correct)
Full Abstraction for PCF (Extended Abstract) - Abramsky, Malacaria, Jagadeesan (Correct)
Full Abstraction for PCF - Samson Abramsky Radha (1994) (116 citations) (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
Relational Properties of Recursively Defined Domains - Pitts (1993) (26 citations) (Correct)
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