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