Andrea Vezzosi

Gästforskare vid Chalmers, Data- och informationsteknik, Datavetenskap

Visar 11 publikationer

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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
2016

Executable relational specifications of polymorphic type systems using prolog

Ki Yung Ahn, Andrea Vezzosi
Lecture Notes in Computer Science. Vol. 9613, p. 109-125
Paper i proceeding
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 i proceeding
2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Lecture Notes in Computer Science. Vol. 9547, p. 1-21
Paper i proceeding
2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi
Trends in Functional Programming
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
2015

Guarded Recursive Types in Type Theory

Andrea Vezzosi
Licentiatavhandling
2014

A formalized proof of strong normalization for guarded recursive types

Andreas Abel, Andrea Vezzosi
Lecture Notes in Computer Science. Vol. 8858, p. 140-158
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Andrea Vezzosi medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.