Pages that link to "Item:Q4640312"
From MaRDI portal
The following pages link to Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312):
Displaying 26 items.
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Semantical analysis of contextual types (Q2200843) (← links)
- Characterizations of modalities and lex modalities (Q2229967) (← links)
- Real ADE-equivariant (co)homotopy and super M-branes (Q2330514) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- (Q3121020) (← links)
- An introduction to univalent foundations for mathematicians (Q4684362) (← links)
- Modal descent (Q5022924) (← links)
- (Q5028425) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types (Q5056372) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)
- (Q5094144) (← links)
- Good Fibrations through the Modal Prism (Q5094695) (← links)
- (Q5111322) (← links)
- (Q5119390) (← links)
- (Q5155672) (← links)
- Indexed type theories (Q5156767) (← links)
- Modalities in homotopy type theory (Q5208873) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
