Pages that link to "Item:Q5753924"

The following pages link to A partial functions version of Church's simple theory of types (Q5753924):

Displayed 15 items.

• The seven virtues of simple type theory (Q946569) ‎ (← links)
• A simple type theory with partial functions and subtypes (Q1314643) ‎ (← links)
• IMPS: An interactive mathematical proof system (Q1319391) ‎ (← links)
• Incorporating quotation and evaluation into Church's type theory (Q1753993) ‎ (← links)
• Subtypes in fuzzy type theory (Q2328911) ‎ (← links)
• An intensional type theory: motivation and cut-elimination (Q2732287) ‎ (← links)
• Classifying categories for partial equational logic (Q2842828) ‎ (← links)
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) ‎ (← links)
• From Classical to Fuzzy Type Theory (Q3454816) ‎ (← links)
• In the Search of a Naive Type Theory (Q3499754) ‎ (← links)
• Higher-Order Multi-Valued Resolution (Q4443416) ‎ (← links)
• IMPS: An updated system description (Q4647527) ‎ (← links)
• The Rule of Existential Generalisation and Explicit Substitution (Q5066098) ‎ (← links)
• A mechanization of strong Kleene logic for partial functions (Q5210785) ‎ (← links)
• Category theory in Isabelle/HOL as a basis for meta-logical investigation (Q6118814) ‎ (← links)