Reasoning about local variables with operationally-based logical relations

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 152-163

  Pitts, Andrew M ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGOL (PROGRAMMING LANGUAGE); COMPUTER OPERATING SYSTEMS; EQUIVALENCE CLASSES; FORMAL LANGUAGES; FORMAL LOGIC; THEOREM PROVING;

LOGICAL RELATION; POLYMORPHIC LINEAR LAMBDA CALCULUS;

COMPUTATIONAL LINGUISTICS;

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

References (23)