Homotopy Type Theory： Univalent Foundations of Mathematics（The Univalent Foundations Program）（2013）
内容简介：
书名：Homotopy Type Theory: Univalent Foundations of Mathematics
出版社：
作者：The Univalent Foundations Program
出版年份：2013
电子书格式： pdf
简介：《Homotopy Type Theory：Univalent Foundations of Mathematics》是The Univalent Foundations Program在2013年出版的一部开创性数学专著。该书探索了同伦类型理论（HoTT）和单价基础数学（UFM），为数学基础提供了全新的视角和工具。书中结合了类型论、范畴论和拓扑学，推进了形式验证和证明助手的发展，深受数学家和计算机科学家的关注。多考网(duokao)为您提供海量电子书免费下载，包括此书在内，助力您的学术研究。
ISBN：
出版社：
作者：The Univalent Foundations Program
出版年份：2013
电子书格式： pdf
简介：《Homotopy Type Theory：Univalent Foundations of Mathematics》是The Univalent Foundations Program在2013年出版的一部开创性数学专著。该书探索了同伦类型理论（HoTT）和单价基础数学（UFM），为数学基础提供了全新的视角和工具。书中结合了类型论、范畴论和拓扑学，推进了形式验证和证明助手的发展，深受数学家和计算机科学家的关注。多考网(duokao)为您提供海量电子书免费下载，包括此书在内，助力您的学术研究。
ISBN：
下载地址：
猜你喜欢：
