Article

Univalent foundations of mathematics

Author:

Vladimir VoevodskyAuthors Info & Claims

WoLLIC'11: Proceedings of the 18th international conference on Logic, language, information and computation

Page 4

Published: 18 May 2011 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Angiuli CHarper RWilson T(2017)Computational higher-dimensional type theoryACM SIGPLAN Notices10.1145/3093333.300986152:1(680-693)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009861
Angiuli CHarper RWilson TCastagna GGordon A(2017)Computational higher-dimensional type theoryProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009861(680-693)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009861
Sojakova K(2016)The Equivalence of the Torus and the Product of Two Circles in Homotopy Type TheoryACM Transactions on Computational Logic10.1145/299278317:4(1-19)Online publication date: 3-Nov-2016
https://dl.acm.org/doi/10.1145/2992783
Show More Cited By

Univalent foundations of mathematics
1. Mathematics of computing
2. Theory of computation

Recommendations

Comments

Information & Contributors

Information

Published In

WoLLIC'11: Proceedings of the 18th international conference on Logic, language, information and computation

May 2011

309 pages

ISBN:9783642209192

Editors:
Lev D. Beklemishev
Steklov Mathematical Institute, Moscow, Russia
,
Ruy de Queiroz
Universidade Federal de Pernambuco, Centro de Informática, Recife, PE, Brazil

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 18 May 2011

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Angiuli CHarper RWilson T(2017)Computational higher-dimensional type theoryACM SIGPLAN Notices10.1145/3093333.300986152:1(680-693)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009861
Angiuli CHarper RWilson TCastagna GGordon A(2017)Computational higher-dimensional type theoryProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009861(680-693)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009861
Sojakova K(2016)The Equivalence of the Torus and the Product of Two Circles in Homotopy Type TheoryACM Transactions on Computational Logic10.1145/299278317:4(1-19)Online publication date: 3-Nov-2016
https://dl.acm.org/doi/10.1145/2992783
Sojakova K(2015)Higher Inductive Types as Homotopy-Initial AlgebrasACM SIGPLAN Notices10.1145/2775051.267698350:1(31-42)Online publication date: 14-Jan-2015
https://dl.acm.org/doi/10.1145/2775051.2676983
Sojakova KRajamani SWalker D(2015)Higher Inductive Types as Homotopy-Initial AlgebrasProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2676726.2676983(31-42)Online publication date: 14-Jan-2015
https://dl.acm.org/doi/10.1145/2676726.2676983
Angiuli CMorehouse ELicata DHarper R(2014)Homotopical patch theoryACM SIGPLAN Notices10.1145/2692915.262815849:9(243-256)Online publication date: 19-Aug-2014
https://dl.acm.org/doi/10.1145/2692915.2628158
Angiuli CMorehouse ELicata DHarper RJeuring JChakravarty M(2014)Homotopical patch theoryProceedings of the 19th ACM SIGPLAN international conference on Functional programming10.1145/2628136.2628158(243-256)Online publication date: 19-Aug-2014
https://dl.acm.org/doi/10.1145/2628136.2628158
Licata DFinster EHenzinger TMiller D(2014)Eilenberg-MacLane spaces in homotopy type theoryProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603153(1-9)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603153
Licata DShulman M(2013)Calculating the Fundamental Group of the Circle in Homotopy Type TheoryProceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS.2013.28(223-232)Online publication date: 25-Jun-2013
https://dl.acm.org/doi/10.1109/LICS.2013.28
Licata DHarper RField JHicks M(2012)Canonicity for 2-dimensional type theoryProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2103656.2103697(337-348)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2103656.2103697
Show More Cited By

Cited By

Recommendations

Foundations of Discrete Mathematics with Algorithms and Programming

Foundations of Applied Mathematics, Volume 1: Mathematical Analysis

Foundations of Computational Mathematics, Hong Kong 2008

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Recommendations

Foundations of Discrete Mathematics with Algorithms and Programming

Foundations of Applied Mathematics, Volume 1: Mathematical Analysis

Foundations of Computational Mathematics, Hong Kong 2008

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations