Subtyping problem for second-order types is undecidable

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 74-85

  Tiuryn, Jerzy ^a   Urzyczyn, Pawel ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DECISION THEORY; OBJECT ORIENTED PROGRAMMING; PROGRAMMING THEORY; THEOREM PROVING;

POLYMORPHIC LAMBDA CALCULUS; SECOND ORDER POLYMORPHIC TYPES; SUBSUMPTION RULE; SUBTYPING PROBLEM;

COMPUTATIONAL LINGUISTICS;

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

References (12)