Extended Abstracts Fall 2013 : Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Extended Abstracts Fall 2013 : Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Barcode: 09783319212845
Brand: Springer International Publishing
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.