Pages that link to "Item:Q1115435"
From MaRDI portal
The following pages link to Toposes and intuitionistic theories of types (Q1115435):
Displaying 12 items.
- What is the world of mathematics? (Q598279) (← links)
- Temporal type theory. A topos-theoretic approach to systems and behavior (Q1791242) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526) (← links)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
- (Q3682648) (← links)
- (Q3995928) (← links)
- (Q4247306) (← links)
- AN INTERPRETATION OF MARTIN‐LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY (Q4295233) (← links)
- (Q4611379) (← links)
- Types for Proofs and Programs (Q5898177) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)