Extensional equality in intensional type theory

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 412-420

  Altenkirch, Thorsten ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; EQUIVALENCE CLASSES; LINGUISTICS; MATHEMATICAL MODELS; SET THEORY;

CATEGORICAL MODELS; INTENSIONAL TYPE THEORY; METATHEORY;

THEOREM PROVING;

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

References (11)