A Semantic Characterization Of Full Abstraction For Typed Lambda Calculi

Author

Mulmuley, Ketan

Author_Institution

Carnegie-Mellon University

fYear

1984

fDate

24-26 Oct 1984

Firstpage

279

Lastpage

288

Keywords

Aerospace electronics; Calculus; Computer science; Contracts; Mathematical programming; US Department of Defense;

fLanguage

English

Publisher

ieee

Conference_Titel

Foundations of Computer Science, 1984. 25th Annual Symposium on

ISSN

0272-5428

Print_ISBN

0-8186-0591-X

Type

DOI

10.1109/SFCS.1984.715926

Filename

715926

Link To Document