S. Abramsky, M. Lenisa. A Fully-complete PER Model for ML Polymorphic Types, CSL'00 Conf. Proc., P. Clote, H.Schwichtenberg eds., LNCS 1862, 2000, 140-155. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Genericity and the π-Calculus - Berger, Honda, Yoshida (2002) (Correct)
Genericity and the π-Calculus - Berger, Honda, Yoshida (2002) (Correct)
Genericity and the pi-Calculus - Berger, Honda, Yoshida (2 citations) (Correct)
Evolving Games and Essential Nets for Ane Polymorphism - Murawski Ong Oxford (3 citations) (Correct)
Evolving Games and Essential Nets for Affine Polymorphism - Murawski, Ong (1 citation) (Correct)
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
A Game Semantics for Generic Polymorphism - Samson Abramsky And (2003) (1 citation) Self-citation (Abramsky) (Correct)
Strict Geometry of Interaction Graph Models - Furio Honsell Marina (2003) Self-citation (Lenisa) (Correct)
"Wave-style" Geometry of Interaction Models in Rel are.. - Honsell, Lenisa Self-citation (Lenisa) (Correct)
A Structural Approach to Reversible Computation - Abramsky (2001) Self-citation (Abramsky) (Correct)
"Wave-style" Geometry of Interaction Models are Graph-like.. - Honsell, Lenisa Self-citation (Lenisa) (Correct)
Fully Complete Minimal PER Models for the Simply Typed.. - Abramsky, Lenisa Self-citation (Abramsky Lenisa) (Correct)
A Game Semantics For Generic Polymorphism - Abramsky, Jagadeesan (1971) (1 citation) Self-citation (Abramsky) (Correct)
A Structural Approach to Reversible Computation - Abramsky (2001) Self-citation (Abramsky) (Correct)
Axiomatizing Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (2000) (4 citations) Self-citation (Abramsky Lenisa) (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