Subtyping recursive types in kernel fun

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 137-146

  Colazzo, Dario ^a   Ghelli, Giorgio ^a  

^a Dipartimento d'Informatica   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; EQUIVALENCE CLASSES; FORMAL LOGIC; SET THEORY; THEOREM PROVING;

BOUNDED SECOND ORDER POLYMORPHISM; KERNEL FUN; RECURSIVE TYPES; SUB TYPING;

RECURSIVE FUNCTIONS;

EID: 0032597532     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)