Home Advanced Search

Advanced Search - Page 1

Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
  • PDF
  • English
  • Year: 2015
  • Author: M. del Mar González, P. C. Yang, N. Gambino, J. Kock (eds.)
search