Subtyping dependent types

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 86-97

  Aspinall, David ^a   Compagnoni, Adriana ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SYSTEMS; DECISION THEORY; FORMAL LANGUAGES; PROGRAMMING THEORY; THEOREM PROVING;

SUBJECT REDUCTION; SUBTYPING; TYPE CHECKING;

COMPUTATIONAL LINGUISTICS;

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

References (21)