Cite
MLA Citation
BENNO VAN DEN BERG and IEKE MOERDIJK. “W-types in homotopy type theory.” Mathematical structures in computer science, vol. 25, 2015, pp. 1100–1115. http://access.bl.uk/ark:/81055/vdc_100025905582.0x00003f
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
BENNO VAN DEN BERG and IEKE MOERDIJK. “W-types in homotopy type theory.” Mathematical structures in computer science, vol. 25, 2015, pp. 1100–1115. http://access.bl.uk/ark:/81055/vdc_100025905582.0x00003f