IMPS: An updated system description
From MaRDI portal
Publication:4647527
DOI10.1007/3-540-61511-3_94zbMath1412.68220OpenAlexW2099417197MaRDI QIDQ4647527
William M. Farmer, Joshua D. Guttman, F. Javier Thayer Fábrega
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61511-3_94
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
IMPS: An updated system description ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Proof script pragmatics in IMPS ⋮ Panoptes
Uses Software
Cites Work
- Inference rules using local contexts
- A simple type theory with partial functions and subtypes
- IMPS: An interactive mathematical proof system
- A set theory with support for partial functions
- Contexts in mathematical reasoning and computation
- IMPS: An updated system description
- Proof script pragmatics in IMPS
- A partial functions version of Church's simple theory of types
This page was built for publication: IMPS: An updated system description
