3 citations found. Retrieving documents...
Retore, C., \A Note on Intersection Types", INRIA report RR-2431, January 1995, postscript available at: ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2431.ps.gz

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
A Linearization of the Lambda-Calculus and Consequences - Kfoury (1996)   (Correct)

No context found.

Retore, C., \A Note on Intersection Types", INRIA report RR-2431, January 1995, postscript available at: ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2431.ps.gz


Beta-Reduction As Unification - Kfoury (1996)   (8 citations)  (Correct)

No context found.

Retore, C., \A Note on Intersection Types", INRIA report RR-2431, January 1995, postscript available at: ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2431.ps.gz


A Linearization of the Lambda-Calculus and Consequences - Kfoury (2000)   (Correct)

No context found.

Retore, C., \A Note on Intersection Types", INRIA report RR-2431, January 1995, postscript available at: ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2431.ps.gz

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