Extended Abstracts Fall 2013 : Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations

ISBN
9783319212838
$99.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2015
  • vi, 110
  • Yes
  • QA1-939