Homotopy Type Theory: Univalent Foundations of Mathematics

Author	:
Publisher	: Univalent Foundations
Total Pages	: 484
Release	:
ISBN-10	:
ISBN-13	:
Rating	: 4/5 ( Downloads)

DOWNLOAD EBOOK

Book Synopsis Homotopy Type Theory: Univalent Foundations of Mathematics by :

Download or read book Homotopy Type Theory: Univalent Foundations of Mathematics written by and published by Univalent Foundations. This book was released on with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Homotopy Type Theory: Univalent Foundations of Mathematics Related Books

Language: en
Pages: 484

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors:

Categories:

Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK

Language: en
Pages: 0

Homotopy Type Theory

Authors:

Categories: Homotopy theory

Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

The present work has its origins in our collective attempts to develop a new style of "informal type theory" that can be read and understood by a human being, a

Language: en
Pages: 589

Homotopy Type Theory

Authors: Univalent Foundations Program

Categories: Homotopy theory

Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

This book is the product of a yearlong collaboration at the Institute for Advanced Study. It describes (the beta version of) a new language for mathematics, whi

Language: en
Pages: 465

Type Theory and Formal Proof

Authors: Rob Nederpelt

Categories: Computers

Type: BOOK - Published: 2014-11-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s