The following pages link to Simple Type Theory (Q6488481):
Displaying 6 items.
- The seven virtues of simple type theory (Q946569) (← links)
- Simple Types in Type Theory: Deep and Shallow Encodings (Q3523188) (← links)
- (Q4726218) (← links)
- On some generalization of rough sets (Q6064262) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
- Propositional type theory of indeterminacy (Q6642826) (← links)