Concepedia

Carlo Angiuli

CA

Statistics

Publications

8

Citations

180

H-Index

8

Active since

2014

Affiliations

Carnegie Mellon University(Current)

Wesleyan University

Carlo Angiuli is an author at Carnegie Mellon University specializing in mathematics, type systems, and type theory.

ORCID

Publications per year

2014–2021

8

Publications

8

Cartesian cubical computational type theory: Constructive reasoning with paths and equalities

Carlo Angiuli, Kuen-Bang Hou, Robert Harper · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 32 citations · Full text

, , +10

Computational higher-dimensional type theory

Carlo Angiuli, Robert Harper, Todd M. Wilson · 2016 · 31 citations

, , +10

Syntax and models of Cartesian cubical type theory

Carlo Angiuli, Guillaume Brunerie, Thierry Coquand et al. · Mathematical Structures in Computer Science · 2021 · 28 citations · Full text

, , +15

Homotopical patch theory

Carlo Angiuli, Edward Morehouse, Daniel R. Licata et al. · 2014 · 25 citations

, , +13

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities

Carlo Angiuli, Kuen-Bang Hou, Robert Harper · arXiv (Cornell University) · 2017 · 18 citations · Full text

, , +10

1–5 of 8