The Univalent Foundations Program

2 books

618 pages first pub 2013 (editions)

nonfiction computer science mathematics science challenging informative slow-paced

619 pages missing pub info (editions)