Venanzio Capretta

Venanzio Capretta, Conor McBride: Preface. Electr. Notes Theor. Comput. Sci. 229(5): 1-2 (2011)

Venanzio Capretta: Coalgebras in functional programming and type theory. Theor. Comput. Sci. 412(38): 5006-5024 (2011)

Venanzio Capretta: Bisimulations Generated from Corecursive Equations. Electr. Notes Theor. Comput. Sci. 265: 245-258 (2010)

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

Ana Bove, Venanzio Capretta: A Type of Partial Recursive Functions. TPHOLs 2008: 102-117

Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30

Ana Bove, Venanzio Capretta: Computation by Prophecy. TLCA 2007: 70-83

Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive coalgebras from comonads. Inf. Comput. 204(4): 437-468 (2006)

Venanzio Capretta, Amy P. Felty: Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES 2006: 63-77

Venanzio Capretta: General recursion via coinductive types. Logical Methods in Computer Science 1(2) (2005)

Ana Bove, Venanzio Capretta: Modelling general recursion in type theory. Mathematical Structures in Computer Science 15(4): 671-708 (2005)

Ana Bove, Venanzio Capretta: Recursive Functions with Higher Order Domains. TLCA 2005: 116-130

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

Venanzio Capretta: General Recursion via Coinductive Types. CoRR abs/cs/0505037 (2005)

Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive Coalgebras from Comonads. Electr. Notes Theor. Comput. Sci. 106: 43-61 (2004)

Gilles Barthe, Venanzio Capretta, Olivier Pons: Setoids in type theory. J. Funct. Program. 13(2): 261-293 (2003)

Venanzio Capretta: Abstraction and computation - type theory, algebraic structures, and recursive functions. Univ. Nijmegen 2002, isbn 978-90-9015738-2, pp. 1-259

Yves Bertot, Venanzio Capretta, Kuntal Das Barman: Type-Theoretic Functional Semantics. TPHOLs 2002: 83-98

Ana Bove, Venanzio Capretta: Nested General Recursion and Partiality in Type Theory. TPHOLs 2001: 121-135

Venanzio Capretta: Certifying the Fast Fourier Transform with Coq. TPHOLs 2001: 154-168

Venanzio Capretta: Recursive Families of Inductive Types. TPHOLs 2000: 73-89

Venanzio Capretta, Silvio Valentini: A general method for proving the normalization theorem for first and second order typed lambda-calculi. Mathematical Structures in Computer Science 9(6): 719-739 (1999)

Venanzio Capretta: Universal Algebra in Type Theory. TPHOLs 1999: 131-148