W-types in homotopy type theory

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	W-types in homotopy type theory
Author(s):	Berg, B. van den; Moerdijk, I.
Publication year:	2015
Source:	Mathematical Structures in Computer Science, vol. 25, iss. SI 05, (2015), pp. 1100-1115
ISSN:	0960-1295
DOI:	http://dx.doi.org/10.1017/S0960129514000516
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/141255
Display more details
Subject:	Algebra and Topology Algebra en Topologie
Organization:	Algebra & Topologie
Journal title:	Mathematical Structures in Computer Science
Volume:	vol. 25
Issue:	iss. SI 05
Page start:	p. 1100
Page end:	p. 1115

Faculty of Science [25836]
Open Access publications [47649]
Freely accessible full text publications
Electronic publications [74463]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [165432]
Academic output Radboud University