Skip to main content

Author picture

Univalent Foundations Program

Author of Homotopy Type Theory

1 Work 61 Members

Works by Univalent Foundations Program

Homotopy Type Theory (2013) 61 copies

Tagged

algorithms (1) category theory (3) computer science (3) computing (1) foundations of mathematics (1) functional programming (1) GR2021 (1) GR2026 (1) logic (3) math (10) mathematics/homotopy_type_theory (1) NonFic.Tech.CompSci.Theory (1) philosophy (3) programming (1) set theory (1) stalled (1) textbook (1) to-read (7) type theory (2) Typteori (1)

Common Knowledge

Gender: n/a

Members

Reviews

No reviews found.

Statistics

Works: 1
Members: 61
Popularity: #274,233
Rating: 5.0

Charts & Graphs

See More Charts & Graphs

Pictures

Links

No links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson