Pages that link to "Item:Q5753924"
From MaRDI portal
The following pages link to A partial functions version of Church's simple theory of types (Q5753924):
Displaying 14 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)
