Pages that link to "Item:Q4995149"
From MaRDI portal
The following pages link to Quantum Gauge Field Theory in Cohesive Homotopy Type Theory (Q4995149):
Displaying 14 items.
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Characterizations of modalities and lex modalities (Q2229967) (← links)
- (Q4343366) (← links)
- Modal descent (Q5022924) (← links)
- (Q5028425) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- (Q5119390) (← links)
- (Q5155672) (← links)
- Finitary type theories with and without contexts (Q6053849) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Univalence and ontic structuralism (Q6586941) (← links)
- A functorial excursion between algebraic geometry and linear logic (Q6649501) (← links)