Semantics of higher inductive types
LUMSDAINE, PETER LEFANU, SHULMAN, MICHAELLanguage:
english
Journal:
Mathematical Proceedings of the Cambridge Philosophical Society
DOI:
10.1017/S030500411900015X
Date:
June, 2019
File:
PDF, 2.01 MB
english, 2019