Truncation levels in homotopy type theory
Nicolai KrausCategories:
Year:
2015
Edition:
version 2 Dec 2015
Language:
english
Pages:
210
ISBN 10:
157586181X
ISBN 13:
9781575861814
Series:
PhD thesis at University of Nottingham
File:
PDF, 1.43 MB
IPFS:
,
english, 2015