Pages that link to "Item:Q5271059"

The following pages link to Calculating the Fundamental Group of the Circle in Homotopy Type Theory (Q5271059):

Displaying 16 items.

• The construction of set-truncated higher inductive types (Q2133178) (← links)
• The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987) (← links)
• Type-theoretic approaches to ordinals (Q2700785) (← links)
• Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
• An introduction to univalent foundations for mathematicians (Q4684362) (← links)
• (Q4989403) (← links)
• Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
• The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory (Q5278189) (← links)
• Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
• Eliminating dependent pattern matching without K (Q5371975) (← links)
• Homotopical patch theory (Q5371976) (← links)
• Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)
• (Q6079238) (← links)
• The Hurewicz theorem in homotopy type theory (Q6112530) (← links)
• Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)