Andrea Vezzosi

Gästforskare at Computing Science (Chalmers)

Showing 12 publications

2018

Guarded Cubical Type Theory

Lars Birkedal, Aleš Bizjak, Ranald Clouston et al
Journal of Automated Reasoning, p. 1-43
Introductory text in journal
2018

Decidability of Conversion for Type Theory in Type Theory

Andrea Vezzosi, Joakim Öhman, Andreas Abel
Proceedings of the ACM on Programming Languages. Vol. 2 (POPL), p. 23:1-23:29
Journal article
2017

Parametric quantifiers for dependent type theory

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese
Proceedings of the ACM on Programming Languages. Vol. 1 (ICFP), p. 32:1--32:29-
Paper in proceedings
2017

Normalization by evaluation for sized dependent types

Andreas Abel, Andrea Vezzosi, Theo Winterhalter
Proceedings of the ACM on Programming Languages. Vol. 1 (ICFP), p. 33:1--33:3-
Paper in proceedings
2016

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9547, p. 1-21
Paper in proceedings
2016

Executable relational specifications of polymorphic type systems using prolog

Ki Yung Ahn, Andrea Vezzosi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9613, p. 109-125
Paper in proceedings
2016

Guarded Cubical Type Theory: Path Equality for Guarded Recursion

Lars Birkedal, Aleš Bizjak, Ranald Clouston et al
25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Vol. 62, p. 23:1-23:17
Paper in proceedings
2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Trends in Functional Programming
Conference contribution
2015

Functions out of Higher Truncations

Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Vol. 41, p. 359-373
Paper in proceedings
2015

Guarded Recursive Types in Type Theory

Andrea Vezzosi
Licentiate thesis
2014

A formalized proof of strong normalization for guarded recursive types

Andreas Abel, Andrea Vezzosi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8858, p. 140-158
Paper in proceedings

Download publicaton list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Andrea Vezzosi participates, but you have to be logged in as a Chalmers employee to see them.