U. de'Liguoro, "Characterizing convergent terms in object calculi via intersection types", LNCS 2044. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Restricted intersection type assignment systems and object.. - de'Liguoro (2002) Self-citation (De'liguoro) (Correct)
No context found.
U. de'Liguoro, "Characterizing convergent terms in object calculi via intersection types", LNCS 2044.
Subtyping in Logical Form - de'Liguoro (2003) Self-citation (De'liguoro) (Correct)
No context found.
U. de'Liguoro, "Characterizing convergent terms in object calculi via intersection types", LNCS
Subtyping in Logical Form - de'Liguoro (2002) Self-citation (De'liguoro) (Correct)
No context found.
U. de'Liguoro, "Characterizing convergent terms in object calculi via intersection types", LNCS
Restricted intersection type assignment systems and object.. - de'Liguoro (2002) Self-citation (De'liguoro) (Correct)
No context found.
U. de'Liguoro, "Characterizing convergent terms in object calculi via intersection types", LNCS 2044.
Logical Semantics for the First Order ζ-Calculus - van Bakel, de'Liguoro Self-citation (De'liguoro) (Correct)
No context found.
U. de'Liguoro, "Characterizing convergent terms in object calculi via intersection types", LNCS 2044, 2001.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Ugo de'Liguoro. Characterizing convergent terms in object calculi via intersection types. In 5th Int'l Conf. Typed Lambda Calculi and Applications, volume 2044.
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