Pages that link to "Item:Q448334"
From MaRDI portal
The following pages link to Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334):
Displayed 10 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- On the local Cartesian closure of exact completions (Q2184801) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics (Q2869900) (← links)
- Direct spectra of Bishop spaces and their limits (Q4989398) (← links)
- Proof-relevance in Bishop-style constructive mathematics (Q5055489) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)