The following pages link to From types to sets (Q1140642):
Displayed 5 items.
- Intuitionist type theory and the free topos (Q1148318) (← links)
- Intuitionist type theory and foundations (Q1152364) (← links)
- Laminations, or how to build a quantum-logic-valued model of set theory (Q1258738) (← links)
- Meeting of the Association for Symbolic Logic Florence, Italy 1982 (Q3686697) (← links)
- (Q3927252) (← links)