First Page | Document Content | |
---|---|---|
Date: 2018-03-28 14:04:14 | Formalizing type theory in type theory using nominal techniques Ulrik Buchholtz TU Darmstadt HoTT/UF Workshop, Oxford, September 9, 2017Add to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 136,13 KBShare Document on Facebook |