Logic of subtyping (extended abstract)

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1995, Pages 292-299

  Longo, Giuseppe ^a   Milsted, Kathleen ^a   Soloviev, Sergei ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LANGUAGES; FORMAL LOGIC; PROGRAMMING THEORY; SET THEORY; THEOREM PROVING;

CALCULUS; CARTESIAN CLOSURE; CUT-ELIMINATION; FUNCTIONAL LANGUAGES; GENTZEN-STYLE PROOF; PARTIAL EQUIVALENCE RELATIONS; POLYMORPHISM; SUBTYPING;

LOGIC PROGRAMMING;

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

References (16)