Find link

language:

Find link is a tool written by Edward Betts.

searching for Homotopy type theory 8 found (43 total)

Extensionality (592 words) [view diff] case mismatch in snippet view article find links to article

Univalence axiom Type theory The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton, NJ: Institute for

Function type (557 words) [view diff] case mismatch in snippet view article find links to article

Programming Languages. The MIT Press. function type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations

Empty type (260 words) [view diff] case mismatch in snippet view article find links to article

⊥ {\displaystyle \bot } . Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study

Product type (469 words) [view diff] case mismatch in snippet view article find links to article

programming language) Sum type Quotient type product type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations

Proof assistant (1,206 words) [view diff] case mismatch in snippet view article find links to article

Michael (2013). "Calculating the Fundamental Group of the Circle in Homotopy Type Theory". 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Agda (programming language) (1,395 words) [view diff] case mismatch in snippet view article

without theoretical background" HoTTEST Summer School 2022, 66 lectures on Homotopy Type Theory, including many introductory lectures and exercises on Agda

Universe (mathematics) (2,649 words) [view diff] case mismatch in snippet view article

for category theory". arXiv:1304.5227v2 [math.CT]. "Universe in Homotopy Type Theory" in nLab Zhaohui Luo, "Notes on Universes in Type Theory", 2012.

Homotopy groups of spheres (8,119 words) [view diff] exact match in snippet view article find links to article

1995, pp. 123–125. Hu 1959, p. 107. Hatcher 2002, p. 29. See, e.g., Homotopy type theory 2013, Section 8.1, " π 1 ( S 1 ) {\textstyle \pi _{1}(S^{1})} ".