Carlo Angiuli

According to our database1, Carlo Angiuli authored at least 12 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Internalizing representation independence with univalence.
Proc. ACM Program. Lang., 2021

Normalization for Cubical Type Theory.
CoRR, 2021

2020
A Cubical Language for Bishop Sets.
CoRR, 2020

2019
Cubical Syntax for Reflection-Free Extensional Equality.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
The RedPRL Proof Assistant (Invited Paper).
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017
Computational Higher Type Theory III: Univalent Universes and Exact Equality.
CoRR, 2017

Computational higher-dimensional type theory.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Homotopical patch theory.
J. Funct. Program., 2016

Computational Higher Type Theory II: Dependent Cubical Realizability.
CoRR, 2016

Computational Higher Type Theory I: Abstract Cubical Realizability.
CoRR, 2016

Automatically Splitting a Two-Stage Lambda Calculus.
Proceedings of the Programming Languages and Systems, 2016


  Loading...