Edit Profile (opens in new tab) Angiuli, Carlo Co-Author Distance Author ID: angiuli.carlo Published as: Angiuli, Carlo; Angiuli, C. Homepage: https://www.cs.cmu.edu/~cangiuli/ External Links: ORCID · ResearchGate · dblp Documents Indexed: 11 Publications since 2011, including 1 Additional arXiv Preprint 2 Further Contributions Co-Authors: 13 Co-Authors with 13 Joint Publications 246 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Harper, Robert 4 Hou (Favonia), Kuen-Bang 4 Sterling, Jonathan 3 Licata, Daniel R. 2 Acar, Umut A. 2 Brunerie, Guillaume 2 Coquand, Thierry 2 Gratzer, Daniel 2 Licata, Dan 2 Morehouse, Edward 1 Aczel, Peter 1 Agarwal, Ashish 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Bercovici, Hari 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Cavallo, Evan 1 Cheng, Perry 1 Cohen, Cyril 1 Constable, Robert Lee 1 Curien, Pierre-Louis 1 Dreyer, Derek R. 1 Dybjer, Peter 1 Fatahalian, Kayvon 1 Feltman, Nicolas 1 Finster, Eric 1 Gambino, Nicola 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Morrisett, Greg 1 Murphy, Tom VII 1 Nahas, Michael 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Petersen, Leaf 1 Pierce, Benjamin C. 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 Spoonhower, Daniel 1 Stone, Christopher A. 1 Tassarotti, Joseph 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Wilson, Todd 1 Zeilberger, Noam Serials 2 Journal of Functional Programming 1 Journal of Combinatorial Theory. Series A 1 Mathematical Structures in Computer Science 1 Indagationes Mathematicae. New Series 1 Logical Methods in Computer Science all top 5 Fields 9 Mathematical logic and foundations (03-XX) 5 Algebraic topology (55-XX) 5 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 57 times in 37 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 257 2013 Computational higher-dimensional type theory. Zbl 1380.68112 Angiuli, Carlo; Harper, Robert; Wilson, Todd 22 2017 Cartesian cubical computational type theory: constructive reasoning with paths and equalities. Zbl 1541.03027 Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert 13 2018 Syntax and models of Cartesian cubical type theory. Zbl 1529.03123 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 6 2021 Homotopical patch theory. Zbl 1420.68060 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 5 2016 Cubical syntax for reflection-free extensional equality. Zbl 1528.03113 Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 5 2019 Meaning explanations at higher dimension. Zbl 1436.03102 Angiuli, Carlo; Harper, Robert 3 2018 The number of extremal components of a rigid measure. Zbl 1234.14038 Angiuli, C.; Bercovici, H. 1 2011 Homotopical patch theory. Zbl 1345.68093 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 1 2014 A cubical language for Bishop sets. Zbl 07566056 Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 1 2022 A cubical language for Bishop sets. Zbl 07566056 Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 1 2022 Syntax and models of Cartesian cubical type theory. Zbl 1529.03123 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 6 2021 Cubical syntax for reflection-free extensional equality. Zbl 1528.03113 Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 5 2019 Cartesian cubical computational type theory: constructive reasoning with paths and equalities. Zbl 1541.03027 Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert 13 2018 Meaning explanations at higher dimension. Zbl 1436.03102 Angiuli, Carlo; Harper, Robert 3 2018 Computational higher-dimensional type theory. Zbl 1380.68112 Angiuli, Carlo; Harper, Robert; Wilson, Todd 22 2017 Homotopical patch theory. Zbl 1420.68060 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 5 2016 Homotopical patch theory. Zbl 1345.68093 Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 1 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 257 2013 The number of extremal components of a rigid measure. Zbl 1234.14038 Angiuli, C.; Bercovici, H. 1 2011 all cited Publications top 5 cited Publications all top 5 Cited by 53 Authors 6 Angiuli, Carlo 6 Buchholtz, Ulrik 4 Harper, Robert 3 Gratzer, Daniel 3 Hou (Favonia), Kuen-Bang 3 Kaposi, Ambrus 3 Licata, Daniel R. 3 Mörtberg, Anders 3 Sattler, Christian 3 van der Weide, Niels 2 Altenkirch, Thorsten 2 Boulier, Simon 2 Coquand, Thierry 2 Huber, Simon 2 Nuyts, Andreas 2 Sterling, Jonathan 2 van Doorn, Floris 2 Vezzosi, Andrea 1 Abel, Andreas M. 1 Annenkov, Danil 1 Awodey, Steve 1 Bauer, Andrej 1 Bentzen, Bruno 1 Bercovici, Hari 1 Bidlingmaier, Martin E. 1 Birkedal, Lars 1 Brunerie, Guillaume 1 Capriotti, Paolo 1 Cheney, James 1 Devriese, Dominique 1 Faissole, Florian 1 Gambino, Nicola 1 Geuvers, Jan Herman 1 Grayson, Daniel Richard 1 Haselwarter, Philipp G. 1 Hazratpour, Sina 1 Hou Favonia, Kuen-Bang 1 Kavvos, G. A. 1 Kovács, András 1 Kraus, Nicolai 1 Li, Wing Suet 1 Morehouse, Edward 1 New, Max S. 1 Perera, Roly 1 Rijke, Egbert 1 Sestini, Filippo 1 Spitters, Bas 1 Swan, Andrew W. 1 Tabareau, Nicolas 1 Veltri, Niccolò 1 von Raumer, Jakob 1 Weaver, Matthew Z. 1 Wilson, Todd all top 5 Cited in 8 Serials 7 Mathematical Structures in Computer Science 5 Logical Methods in Computer Science 2 Journal of Automated Reasoning 1 Bulletin of the American Mathematical Society. New Series 1 Indagationes Mathematicae. New Series 1 Journal of Algebraic Combinatorics 1 Journal of Functional Programming 1 Selecta Mathematica. New Series all top 5 Cited in 9 Fields 29 Mathematical logic and foundations (03-XX) 19 Algebraic topology (55-XX) 13 Computer science (68-XX) 11 Category theory; homological algebra (18-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Measure and integration (28-XX) Citations by Year