the scandinavian logic society

slideshow 1

Type theory and univalent foundations

Voevodsky's page:

Univalent foundation wiki:

In particular, the book:

A temporary copy can be found at:

Article "An intuitionistic theory of types":

Book on Intuitionistic Type Theory:

"Isomorphism is equality", N.A. Danielsson and T.C.:

Talks by Mike Shulman:

Talks by Dan Licata:

Tutorial by A. Pelayo and M.A. Warren:

Documents available at:

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.