Model for impredicative type systems, universes, intersection types and subtyping

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 18-29

  Miquel, Alexandre ^a  

^a Projet Coq   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA STRUCTURES; EQUIVALENCE CLASSES; GRAPH THEORY; SET THEORY;

EXTENDED CALCULUS OF CONSTRUCTIONS; IMPREDICATIVE TYPE SYSTEMS; INTERSECTION TYPE BINDER;

COMPUTATIONAL METHODS;

EID: 0033718536     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)