Pages that link to "Item:Q1314276"
From MaRDI portal
The following pages link to Nominalization, predication and type containment (Q1314276):
Displaying 8 items.
- Nominal techniques in Isabelle/HOL (Q928672) (← links)
- Nominalization and Scott's domains. II (Q1068077) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- A type free theory and collective/distributive predication (Q1903083) (← links)
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\) (Q2255237) (← links)
- Set Theory and Nominalization, Part I (Q5285989) (← links)
- Automated Deduction – CADE-20 (Q5394605) (← links)