Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics
Author :
Publisher : Univalent Foundations
Total Pages : 484
Release :
ISBN-10 :
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
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

Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

GET EBOOK

Homotopy Type Theory
Language: en
Pages: 0

Homotopy Type Theory

Authors:
Categories: Homotopy theory
Type: BOOK - Published: 2013 - Publisher:

GET 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
Modal Homotopy Type Theory
Language: en
Pages: 208

Modal Homotopy Type Theory

Authors: David Corfield
Categories: Philosophy
Type: BOOK - Published: 2020-02-06 - Publisher: Oxford University Press

GET EBOOK

"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - wh
Topology Via Logic
Language: en
Pages: 224

Topology Via Logic

Authors: Steven Vickers
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Cambridge University Press

GET EBOOK

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students
Motivic Homotopy Theory
Language: en
Pages: 228

Motivic Homotopy Theory

Authors: Bjorn Ian Dundas
Categories: Mathematics
Type: BOOK - Published: 2007-07-11 - Publisher: Springer Science & Business Media

GET EBOOK

This book is based on lectures given at a summer school on motivic homotopy theory at the Sophus Lie Centre in Nordfjordeid, Norway, in August 2002. Aimed at gr