Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

The Salt Fix

The Salt Fix

Dr. James DiNicolantonio

Platform

Platform

Cynthia Johnson

Periphyseon: Division of Nature

Periphyseon: Division of Nature

Johannes Scotus Erigena

The Book of Memory: A Study of Memory in Medieval Culture

The Book of Memory: A Study of Memory in Medieval Culture

Mary Carruthers

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program