Pages that link to "Item:Q5208873"

The following pages link to Modalities in homotopy type theory (Q5208873):

Displaying 27 items.

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Curry-Howard-Lambek correspondence for intuitionistic belief (Q2062203) (← links)
• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves (Q2125994) (← links)
• Characterizations of modalities and lex modalities (Q2229967) (← links)
• Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526) (← links)
• Modular types in some supersimple theories (Q4451735) (← links)
• Precovers, Modalities and Universal Closure Operators in a Topos (Q4888340) (← links)
• Semantics of higher inductive types (Q4958656) (← links)
• Internal universes in models of homotopy type theory (Q4993352) (← links)
• Modal descent (Q5022924) (← links)
• On Church’s thesis in cubical assemblies (Q5055494) (← links)
• Constructive sheaf models of type theory (Q5084309) (← links)
• Good Fibrations through the Modal Prism (Q5094695) (← links)
• (Q5119390) (← links)
• Nilpotent types and fracture squares in homotopy type theory (Q5139290) (← links)
• (Q5155672) (← links)
• Indexed type theories (Q5156767) (← links)
• Modal Homotopy Type Theory (Q5213483) (← links)
• Localization in Homotopy Type Theory (Q5217587) (← links)
• $L'$-localization in an $\infty$-topos (Q5220050) (← links)
• Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
• Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies (Q6057732) (← links)
• The long exact sequence of homotopy <i>n</i>-groups (Q6149949) (← links)
• Non-accessible localizations (Q6564515) (← links)
• Topological quantum gates in homotopy type theory (Q6584358) (← links)
• Modal fracture of higher groups (Q6614927) (← links)
• Normalization for multimodal type theory (Q6649430) (← links)