#HoTT : Voevodsky (2009) notes on Type systems

https://pdfs.semanticscholar.org/4bc5/ab7b810f2b10d04e186667b4647b741a8419.pdf?_ga=2.23829306.1211623468.1508579635-742940545.1491914182
De Voevodsky aussi :

Homotopy type systems

https://ncatlab.org/homotopytypetheory/files/HTS.pdf

Advertisements
This entry was posted in Homotopy, homotopy type theory. Bookmark the permalink.