Pages that link to "Item:Q946569"
From MaRDI portal
The following pages link to The seven virtues of simple type theory (Q946569):
Displaying 9 items.
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- On the number of types (Q1708962) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← links)
- Higher-order concepts for the potential infinite (Q2682910) (← links)
- Towards a Symbolic Approach to Sound Analysis (Q2914439) (← links)
