scientific article
From MaRDI portal
Publication:3827990
zbMath0674.03004MaRDI QIDQ3827990
John C. Mitchell, Philip J. Scott
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessextensionalitytyped lambda calculusHenkin modelscartesian closed categoriesinterpretation functions
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items
Linear Läuchli semantics ⋮ Embedding of a free cartesian-closed category into the category of sets ⋮ An extension of system F with subtyping ⋮ A characterization of lambda definability in categorical models of implicit polymorphism ⋮ Covert Movement in Logical Grammar ⋮ Unnamed Item ⋮ HasCasl: integrated higher-order specification and program development ⋮ Kripke Semantics for Martin-Löf’s Extensional Type Theory