Venanzio Capretta

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 4

Top Topics

Transitive Closure

Deductive Databases

Continuous Functions

Top Venues

J. Autom. Lang. Comb.

Publications

Colm Baston, Venanzio Capretta
The Coinductive Formulation of Common Knowledge. ITP (2018)
Venanzio Capretta, Jonathan Fowler
The continuity of monadic stream functions. LICS (2017)
Venanzio Capretta, Graham Hutton, Mauro Jaskelioff
Contractive Functions on Infinite Data Structures. IFL (2016)
Venanzio Capretta, Tarmo Uustalu
A Coalgebraic View of Bar Recursion and Bar Induction. FoSSaCS (2016)
Henk Barendregt, Venanzio Capretta, Dexter Kozen
Reflection in the Chomsky Hierarchy. J. Autom. Lang. Comb. 18 (1) (2013)
Venanzio Capretta
Coalgebras in functional programming and type theory. Theor. Comput. Sci. 412 (38) (2011)
Venanzio Capretta, Conor McBride
Preface. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Venanzio Capretta
Bisimulations Generated from Corecursive Equations. MFPS (2010)
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Corecursive Algebras: A Study of General Structured Corecursion. SBMF (2009)
Ana Bove, Venanzio Capretta
A Type of Partial Recursive Functions. TPHOLs (2008)
Ana Bove, Venanzio Capretta
Computation by Prophecy. TLCA (2007)
Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin
Formal correctness of conflict detection for firewalls. FMSE (2007)
Venanzio Capretta, Amy P. Felty
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES (2006)
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Recursive coalgebras from comonads. Inf. Comput. 204 (4) (2006)
Ana Bove, Venanzio Capretta
Modelling general recursion in type theory. Math. Struct. Comput. Sci. 15 (4) (2005)
Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta
Privacy in Data Mining Using Formal Methods. TLCA (2005)
Venanzio Capretta
General recursion via coinductive types. Log. Methods Comput. Sci. 1 (2) (2005)
Venanzio Capretta
General Recursion via Coinductive Types CoRR (2005)
Ana Bove, Venanzio Capretta
Recursive Functions with Higher Order Domains. TLCA (2005)
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Recursive Coalgebras from Comonads. CMCS (2004)
Gilles Barthe, Venanzio Capretta, Olivier Pons
Setoids in type theory. J. Funct. Program. 13 (2) (2003)
Yves Bertot, Venanzio Capretta, Kuntal Das Barman
Type-Theoretic Functional Semantics. TPHOLs (2002)
Ana Bove, Venanzio Capretta
Nested General Recursion and Partiality in Type Theory. TPHOLs (2001)
Venanzio Capretta
Certifying the Fast Fourier Transform with Coq. TPHOLs (2001)
Venanzio Capretta
Recursive Families of Inductive Types. TPHOLs (2000)
Venanzio Capretta
Universal Algebra in Type Theory. TPHOLs (1999)
Venanzio Capretta, Silvio Valentini
A general method for proving the normalization theorem for first and second order typed lambda-calculi. Math. Struct. Comput. Sci. 9 (6) (1999)