Skip to main content

Tag NonFic.Tech.CompSci.Theory

1 Time 1 Work 2 Aliases

Tagged Works

Covers
List

Sort Count Weighted Popular

All
This year
Last 2 years
Last 5 years
Last 10 years
Before 1900
Custom

All
Ebook
Audiobook

Homotopy Type Theory

1

Homotopy Type Theory by Univalent Foundations Program

show more show less

Using the Tag

Aliases and Translations

Includes: NonFic.Tech.CompSci.Theory, nonfic.tech.compsci.theory

Related Tags

Loading...

Related Tagmashes

computer science, logic (1)

computer science, philosophy (1)

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