Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory

First Page		Document Content
Date: 2016-08-05 03:49:47		Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 137,55 KB Share Document on Facebook