A Simple and Complete Model Theory for Intensional and Extensional Untyped Lambda-Equality
View / Open Files
Authors
Gabbay, Michael
Gabbay, Murdoch
Publication Date
2014-12-24Journal Title
IfCoLoG Journal of Logics and their Applications
Publisher
College Publications
Volume
1
Issue
2
Pages
83-83
Language
English
Type
Article
This Version
VoR
Metadata
Show full item recordCitation
Gabbay, M., & Gabbay, M. (2014). A Simple and Complete Model Theory for Intensional and Extensional Untyped Lambda-Equality. IfCoLoG Journal of Logics and their Applications, 1 (2), 83-83. https://www.collegepublications.co.uk/ifcolog/?00002
Abstract
We present a sound and complete model theory for theories of -reduction
with or without -expansion. The models of this paper derive from structures
of modal logic: we use ternary accessibility relations on ‘possible worlds’ to
model the action of intensional and extensional lambda-abstraction in much
the same way binary accessibility relations are used to model the box operators of a normal multi-modal logic.
Sponsorship
International Federation for Computational Logic (IFCoLog) (unknown)
Identifiers
External link: https://www.collegepublications.co.uk/ifcolog/?00002
This record's URL: https://www.repository.cam.ac.uk/handle/1810/295072
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.
Recommended or similar items
The following licence files are associated with this item: