M. Hyland, E. Robinson, and G. Rosolini. Algebraic types in per models. In Proc. Mathematical Foundations of Programming Semantics, volume 442 of LNCS. Springer-Verlag, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Parametricity as a Notion of Uniformity in Reflexive Graphs - Dunphy (2002) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
Encodings In Polymorphism, revisited - Fu (1992) (Correct)
Axiomatizing Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (2000) (4 citations) (Correct)
A Fully Complete PER Model for ML Polymorphic Types - Abramsky, Lenisa (2000) (6 citations) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1992) (132 citations) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1994) (132 citations) (Correct)
Parametricity and Local Variables - O'Hearn, Tennent (1995) (16 citations) (Correct)
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (1 citation) (Correct)
A Game Semantics For Generic Polymorphism - Abramsky, Jagadeesan (1971) (1 citation) (Correct)
Parametricity as Isomorphism - Robinson (1993) (1 citation) Self-citation (Robinson) (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