Homotopy Type Theory
transport

Idea

Definition

References

HoTT book

category: type theory

Created on September 6, 2018 at 07:28:39. See the history of this page for a list of all contributions to it.