Univalent Foundations of Mathematics

被引：0

作者：

Voevodsky, Vladimir ^{[1
]}

机构：

[1] Inst Adv Study, Sch Math, Princeton, NJ 08540 USA

来源：

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011 | 2011年 / 6642卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：4 / 4

页数：1

共 50 条

[1] Univalent Foundations of Mathematics and Paraconsistency
Vasyukov, Vladimir L.
[J]. NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 285 - 294
[2] Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts
Kotzsch, Hans-Christoph
[J]. PHILOSOPHIA MATHEMATICA, 2022, 30 (01) : 88 - 102
[3] An experimental library of formalized Mathematics based on the univalent foundations
Voevodsky, Vladimir
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (05) : 1278 - 1294
[4] Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts
de Ceglie, Matteo
[J]. STUDIA LOGICA, 2024,
[5] Univalent foundations as structuralist foundations
Dimitris Tsementzis
[J]. Synthese, 2017, 194 : 3583 - 3617
[6] Univalent foundations as structuralist foundations
Tsementzis, Dimitris
[J]. SYNTHESE, 2017, 194 (09) : 3583 - 3617
[7] Bicategories in univalent foundations
Ahrens, Benedikt
Frumin, Dan
Maggesi, Marco
Veltri, Niccolo
van der Weide, Niels
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022,
[8] ON SMALL TYPES IN UNIVALENT FOUNDATIONS
De Jong, Tom
Escardo, Martin Hotzel
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (02) : 1 - 33
[9] A Descent Property for the Univalent Foundations
Rijke, Egbert
[J]. EXTENDED ABSTRACTS FALL 2013: GEOMETRICAL ANALYSIS; TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS, 2015, : 93 - 97
[10] AN INTRODUCTION TO UNIVALENT FOUNDATIONS FOR MATHEMATICIANS
Grayson, Daniel R.
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 2018, 55 (04) : 427 - 450

← 1 2 3 4 5 →