"Internal Universes in Models of Homotopy Type Theory."

Daniel R. Licata et al. (2018)

Details and statistics

DOI: 10.4230/LIPICS.FSCD.2018.22

access: open

type: Conference or Workshop Paper

metadata version: 2019-12-27