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: 10 Publications since 2011 2 Further Contributions Co-Authors: 13 Co-Authors with 12 Joint Publications 234 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Harper, Robert 4 Hou (Favonia), Kuen-Bang 3 Licata, Daniel R. 3 Sterling, Jonathan 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 MSCS. 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) 6 Computer science (68-XX) 4 Algebraic topology (55-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 36 times in 21 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Computational higher-dimensional type theory. Zbl 1380.68112Angiuli, Carlo; Harper, Robert; Wilson, Todd 16 2017 Cartesian cubical computational type theory: constructive reasoning with paths and equalities. Zbl 07533331Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert 5 2018 Homotopical patch theory. Zbl 1420.68060Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 3 2016 Meaning explanations at higher dimension. Zbl 1436.03102Angiuli, Carlo; Harper, Robert 3 2018 Cubical syntax for reflection-free extensional equality. Zbl 07559297Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 3 2019 Syntax and models of Cartesian cubical type theory. Zbl 07460116Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 3 2021 Homotopical patch theory. Zbl 1345.68093Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 1 2014 The number of extremal components of a rigid measure. Zbl 1234.14038Angiuli, C.; Bercovici, H. 1 2011 A cubical language for Bishop sets. Zbl 07566056Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 1 2022 A cubical language for Bishop sets. Zbl 07566056Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 1 2022 Syntax and models of Cartesian cubical type theory. Zbl 07460116Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. 3 2021 Cubical syntax for reflection-free extensional equality. Zbl 07559297Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 3 2019 Cartesian cubical computational type theory: constructive reasoning with paths and equalities. Zbl 07533331Angiuli, Carlo; Hou, (Favonia) Kuen-Bang; Harper, Robert 5 2018 Meaning explanations at higher dimension. Zbl 1436.03102Angiuli, Carlo; Harper, Robert 3 2018 Computational higher-dimensional type theory. Zbl 1380.68112Angiuli, Carlo; Harper, Robert; Wilson, Todd 16 2017 Homotopical patch theory. Zbl 1420.68060Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 3 2016 Homotopical patch theory. Zbl 1345.68093Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert 1 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 The number of extremal components of a rigid measure. Zbl 1234.14038Angiuli, C.; Bercovici, H. 1 2011 all cited Publications top 5 cited Publications all top 5 Cited by 31 Authors 5 Angiuli, Carlo 4 Buchholtz, Ulrik 3 Harper, Robert 3 Hou (Favonia), Kuen-Bang 2 Gratzer, Daniel 2 Mörtberg, Anders 2 Sterling, Jonathan 2 van der Weide, Niels 1 Abel, Andreas M. 1 Altenkirch, Thorsten 1 Bentzen, Bruno 1 Bercovici, Hari 1 Bidlingmaier, Martin E. 1 Brunerie, Guillaume 1 Cheney, James 1 Coquand, Thierry 1 Faissole, Florian 1 Geuvers, Jan Herman 1 Grayson, Daniel Richard 1 Huber, Simon 1 Kaposi, Ambrus 1 Li, Wing Suet 1 Licata, Daniel R. 1 Morehouse, Edward 1 Perera, Roly 1 Spitters, Bas 1 Swan, Andrew W. 1 van Doorn, Floris 1 Veltri, Niccolò 1 Vezzosi, Andrea 1 von Raumer, Jakob all top 5 Cited in 7 Serials 5 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 1 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 all top 5 Cited in 9 Fields 17 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 8 Algebraic topology (55-XX) 5 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