Homotopy Type Theory

author: Univalent Foundations Project
name: Vijay
average rating: 5.00
book published: 2013
rating: 0
read at:
date added: 2017/02/13
shelves: to-read
review: