Andrea Vezzosi

Gästforskare vid Datavetenskap

Kontaktuppgifter ORCID

Publikationer (14)
Projekt (0)

Visar 14 publikationer

2020

Partial Univalence in n-truncated Type Theory

Christian Sattler, Andrea Vezzosi

ACM International Conference Proceeding Series, p. 807-819

Paper i proceeding

2019

Guarded Cubical Type Theory

Lars Birkedal, Aleš Bizjak, Ranald Clouston et al

Journal of Automated Reasoning. Vol. 63 (2), p. 211-253

Artikel i vetenskaplig tidskrift

2018

On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

Andrea Vezzosi

Doktorsavhandling

2018

Decidability of Conversion for Type Theory in Type Theory

Andreas Abel, Joakim Öhman, Andrea Vezzosi

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-

Artikel i vetenskaplig tidskrift

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-

Artikel i vetenskaplig tidskrift

2017

Parametric quantifiers for dependent types

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 104, p. 83-84

Paper i proceeding

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 i proceeding

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 i proceeding

2016

Guarded Cubical Type Theory: Path Equality for Guarded Recursion

Lars Birkedal, Aleš Bizjak, Ranald Clouston et al

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 62, p. 23:1-23:17

Paper i proceeding

2015

Functions out of Higher Truncations

Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 41, p. 359-373

Paper i proceeding

2015

Guarded Recursive Types in Type Theory

Andrea Vezzosi

Licentiatavhandling

2015

Lightweight Higher-Order Rewriting in Haskell

Emil Axelsson, Andrea Vezzosi

Trends in Functional Programming

Övrigt konferensbidrag

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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.