A partial functions version of Church's simple theory of types
From MaRDI portal
Publication:5753924
DOI10.2307/2274487zbMath0722.03007MaRDI QIDQ5753924
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274487
partial functions; lambda calculus; simple theory of types; definite description operators; Henkin's general models
03B40: Combinatory logic and lambda calculus
Related Items
Higher-Order Multi-Valued Resolution, The seven virtues of simple type theory, A simple type theory with partial functions and subtypes, IMPS: An interactive mathematical proof system, An intensional type theory: motivation and cut-elimination, European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991, In the Search of a Naive Type Theory
Uses Software
Cites Work