Cite
HARVARD Citation
Del Mar González, M. et al. (eds.) (2015) Extended abstracts fall 2013 : geometrical analysis, type theory, homotopy theory and univalent foundations. [Online]. Cham : Birkhäuser. Available from: http://access.bl.uk/ark:/81055/vdc_100071220255.0x000001