Universal Algebra in Type Theory. - Venanzio Capretta (TPHOLs, 1999)

A general method for proving the normalization theorem for first and second order typed lambda-calculi. - Venanzio Capretta; Silvio Valentini (Math. Struct. Comput. Sci., 1999)

Recursive Families of Inductive Types. - Venanzio Capretta (TPHOLs, 2000)

Nested General Recursion and Partiality in Type Theory. - Ana Bove; Venanzio Capretta (TPHOLs, 2001)

Certifying the Fast Fourier Transform with Coq. - Venanzio Capretta (TPHOLs, 2001)

Abstraction and computation - type theory, algebraic structures, and recursive functions. - Venanzio Capretta (Univ. Nijmegen, 2002)

Type-Theoretic Functional Semantics. - Yves Bertot; Venanzio Capretta; Kuntal Das Barman (TPHOLs, 2002)

Setoids in type theory. - Gilles Barthe; Venanzio Capretta; Olivier Pons (J. Funct. Program., 2003)

Recursive Coalgebras from Comonads. - Venanzio Capretta; Tarmo Uustalu; Varmo Vene (CMCS, 2004)

Recursive Functions with Higher Order Domains. - Ana Bove; Venanzio Capretta (TLCA, 2005)

Privacy in Data Mining Using Formal Methods. - Stan Matwin; Amy P. Felty; István T. Hernádvölgyi; Venanzio Capretta (TLCA, 2005)

General recursion via coinductive types. - Venanzio Capretta (Log. Methods Comput. Sci., 2005)

Modelling general recursion in type theory. - Ana Bove; Venanzio Capretta (Math. Struct. Comput. Sci., 2005)

Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. - Venanzio Capretta; Amy P. Felty (TYPES, 2006)

Formal correctness of conflict detection for firewalls. - Venanzio Capretta; Bernard Stepien; Amy P. Felty; Stan Matwin (FMSE, 2007)

Computation by Prophecy. - Ana Bove; Venanzio Capretta (TLCA, 2007)

A Type of Partial Recursive Functions. - Ana Bove; Venanzio Capretta (TPHOLs, 2008)

Preface. - Venanzio Capretta; Conor McBride (MSFP@ICALP, 2008)

Corecursive Algebras: A Study of General Structured Corecursion. - Venanzio Capretta; Tarmo Uustalu; Varmo Vene (SBMF, 2009)

Bisimulations Generated from Corecursive Equations. - Venanzio Capretta (MFPS, 2010)

Coalgebras in functional programming and type theory. - Venanzio Capretta (Theor. Comput. Sci., 2011)

Reflection in the Chomsky Hierarchy. - Henk Barendregt; Venanzio Capretta; Dexter Kozen (J. Autom. Lang. Comb., 2013)

A Coalgebraic View of Bar Recursion and Bar Induction. - Venanzio Capretta; Tarmo Uustalu (FoSSaCS, 2016)

Contractive Functions on Infinite Data Structures. - Venanzio Capretta; Graham Hutton; Mauro Jaskelioff (IFL, 2016)

The continuity of monadic stream functions. - Venanzio Capretta; Jonathan Fowler (LICS, 2017)

The Coinductive Formulation of Common Knowledge. - Colm Baston; Venanzio Capretta (ITP, 2018)