Pages that link to "Item:Q5286912"
From MaRDI portal
The following pages link to Set Theory and Nominalization, Part II (Q5286912):
Displaying 6 items.
- Nominalization and Scott's domains. II (Q1068077) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Nominalization, predication and type containment (Q1314276) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- A type free theory and collective/distributive predication (Q1903083) (← links)
- Set Theory and Nominalization, Part I (Q5285989) (← links)