1. A homotopy-theoretic model of function extensionality in the effective topos. (10th September 2018) Authors: FRUMIN, DAN; VAN DEN BERG, BENNO Journal: Mathematical structures in computer science Issue: Volume 29:Number 4(2019) Page Start: 588 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. W-types in homotopy type theory. (June 2015) Authors: VAN DEN BERG, BENNO; MOERDIJK, IEKE Journal: Mathematical structures in computer science Issue: Volume 25:Number 5(2015) Page Start: 1100 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. W-types in homotopy-type theory – CORRIGENDUM. (5th April 2016) Authors: VAN DEN BERG, BENNO; MOERDIJK, IEKE Journal: Mathematical structures in computer science Issue: Volume 28:Number 1(2018) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗