A Simple and Complete Model Theory for Intensional and Extensional Untyped Lambda-Equality
| cam.issuedOnline | 2014-12-12 | |
| dc.contributor.author | Gabbay, MJ | |
| dc.contributor.author | Gabbay, Murdoch | |
| dc.date.accessioned | 2019-07-30T13:23:59Z | |
| dc.date.available | 2019-07-30T13:23:59Z | |
| dc.date.issued | 2014-12-24 | |
| dc.description.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. | |
| dc.identifier.doi | 10.17863/CAM.42150 | |
| dc.identifier.uri | https://www.repository.cam.ac.uk/handle/1810/295072 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | College Publications | |
| dc.publisher.url | https://www.collegepublications.co.uk/ifcolog/?00002 | |
| dc.rights | Attribution 4.0 International | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.title | A Simple and Complete Model Theory for Intensional and Extensional Untyped Lambda-Equality | |
| dc.type | Article | |
| dcterms.dateAccepted | 2014-08-31 | |
| prism.endingPage | 83 | |
| prism.issueIdentifier | 2 | |
| prism.publicationDate | 2014 | |
| prism.publicationName | IfCoLoG Journal of Logics and their Applications | |
| prism.startingPage | 83 | |
| prism.volume | 1 | |
| pubs.funder-project-id | International Federation for Computational Logic (IFCoLog) (unknown) | |
| rioxxterms.licenseref.startdate | 2014-12-24 | |
| rioxxterms.licenseref.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| rioxxterms.type | Journal Article/Review | |
| rioxxterms.version | VoR |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- lambda-complete-ifcolog.pdf
- Size:
- 274.02 KB
- Format:
- Adobe Portable Document Format
- Description:
- Published version
- Licence
- http://creativecommons.org/licenses/by/4.0/
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- DepositLicenceAgreement.pdf
- Size:
- 417.78 KB
- Format:
- Adobe Portable Document Format