A simple type theory with partial functions and subtypes
From MaRDI portal
Publication:1314643
DOI10.1016/0168-0072(93)90144-3zbMath0837.03003OpenAlexW2316406086MaRDI QIDQ1314643
Publication date: 13 May 1996
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(93)90144-3
simple type theoryaxiomatic systemsubtypesfoundation for mechanized mathematicsHenkin-style general models semanticsinteractive mathematical proof system
Related Items
A two-valued logic for properties of strict functional programs allowing partial functions, In the Search of a Naive Type Theory, The seven virtues of simple type theory, IMPS: An updated system description, Incorporating quotation and evaluation into Church's type theory, Partiality and recursion in interactive theorem provers – an overview, Subtypes in fuzzy type theory
Uses Software
Cites Work
- Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992
- A theory of prepositional types
- A reduction of the axioms for the theory of prepositional types
- A partial functions version of Church's simple theory of types
- Completeness in the theory of types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
