Truncation levels in homotopy type theory
Nicolai Krausหมวดหมู่:
ปี:
2015
ฉบับพิมพ์ครั้งที่:
version 2 Dec 2015
ภาษา:
english
จำนวนหน้า:
210
ISBN 10:
157586181X
ISBN 13:
9781575861814
ซีรีส์:
PhD thesis at University of Nottingham
ไฟล์:
PDF, 1.43 MB
IPFS:
,
english, 2015