مرکز منطقه ای اطلاع رساني علوم و فناوري - A Semantic Characterization Of Full Abstraction For Typed Lambda Calculi

DocumentCode :

3168437

Title :

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 :

conf

DOI :

10.1109/SFCS.1984.715926

Filename :

715926

Link To Document :