Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrea Vezzosi
Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types
Proceedings of the ACM on Programming Languages
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
Related publications
Dependently Typed Programming
Progress in Informatics
Constructing Inductive-Inductive Types in Cubical Type Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Selected Papers From Dependently Typed Programming 2010 – Overview
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
A Logical Framework With Dependently Typed Records
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dependently Typed Haskell in Industry (Experience Report)
Proceedings of the ACM on Programming Languages
Fully Generic Programming Over Closed Universes of Inductive-Recursive Types
Quantitative Pharmacophore Models With Inductive Logic Programming
Machine Learning
Artificial Intelligence
Software
Inductive, Coinductive, and Pointed Types
ACM SIGPLAN Notices
A History of Probabilistic Inductive Logic Programming
Frontiers Robotics AI
Computer Science Applications
Artificial Intelligence
