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) ↗