Carlo Angiuli

Available identifiers

zbMath Open angiuli.carloMaRDI QIDQ1688953

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5094128	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089034	2022-07-18	Paper
Cartesian cubical computational type theory: Constructive reasoning with paths and equalities	2022-05-28	Paper
Syntax and models of Cartesian cubical type theory	2022-01-20	Paper
Normalization for Cubical Type Theory	2021-01-27	Paper
A Cubical Language for Bishop Sets	2020-03-03	Paper
Cubical Syntax for Reflection-Free Extensional Equality	2019-04-17	Paper
Meaning explanations at higher dimension	2018-01-12	Paper
Homotopical patch theory	2017-10-23	Paper
Computational higher-dimensional type theory	2017-10-20	Paper
Homotopical patch theory	2016-09-29	Paper
Automatically Splitting a Two-Stage Lambda Calculus	2016-04-26	Paper
The number of extremal components of a rigid measure	2011-07-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carlo Angiuli