The following pages link to From types to sets (Q1140642):
Displaying 6 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)
- Chasing Diagrams in Cryptography (Q5414973) (← links)
