A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991.

1993/11/01 by William M. Farmer · 3 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1016/0168-0072(93)90144-3

openalex publication_date 1993/11/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25

Cited by

• A canonical form for some piecewise defined functions
• Simple Type Theory with Undefinedness, Quotation, and Evaluation
• IMPS: An interactive mathematical proof system
• Incorporating quotation and evaluation into Church's type theory