DocumentCode :
3168641
Title :
Semantic Models For Second-Order Lambda Calculus
Author :
Mitchell, John C.
Author_Institution :
MIT
fYear :
1984
fDate :
24-26 Oct. 1984
Firstpage :
289
Lastpage :
299
Abstract :
The second-order lambda calculus is a typed expression language with polymorphic functions and abstract data typcs. Several definitions of models for this language have been proposed, each relying on the syntax of terms to characterize closure under explicite definition. This work aims to releive the model theorist of syntactic considerations.
Keywords :
Algebra; Buildings; Calculus; Logic; Personal communication networks; Sections; Tiles;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Foundations of Computer Science, 1984. 25th Annual Symposium on
Conference_Location :
Singer Island, FL
ISSN :
0272-5428
Print_ISBN :
0-8186-0591-X
Type :
conf
DOI :
10.1109/SFCS.1984.715927
Filename :
715927
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3168641
بازگشت