Venanzio Capretta

31 papers A* 1B 3Journal 8Unranked 15
YearRankTypeTitle / Venue / Authors
2024 — ed.
Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk
2018 B conf
The Coinductive Formulation of Common Knowledge.
ITP
Colm Baston, Venanzio Capretta
2017 A* conf
The continuity of monadic stream functions.
LICS
Venanzio Capretta, Jonathan Fowler
2016 B conf
A Coalgebraic View of Bar Recursion and Bar Induction.
FoSSaCS
Venanzio Capretta, Tarmo Uustalu
2016 — conf
Contractive Functions on Infinite Data Structures.
IFL
Venanzio Capretta, Graham Hutton, Mauro Jaskelioff
2013 J jnl
Reflection in the Chomsky Hierarchy.
J. Autom. Lang. Comb.
Henk Barendregt, Venanzio Capretta, Dexter Kozen
2011 J jnl
Coalgebras in functional programming and type theory.
Theor. Comput. Sci.
Venanzio Capretta
2011 — ed.
Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008
MSFP@ICALP
Venanzio Capretta, Conor McBride
2010 B conf
Bisimulations Generated from Corecursive Equations.
MFPS
Venanzio Capretta
2010 — ed.
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010.
MSFP@ICFP
Venanzio Capretta, James Chapman
2009 — conf
Corecursive Algebras: A Study of General Structured Corecursion.
SBMF
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
2008 — conf
A Type of Partial Recursive Functions.
TPHOLs
Ana Bove, Venanzio Capretta
2008 — conf
Preface.
MSFP@ICALP
Venanzio Capretta, Conor McBride
2007 — conf
Computation by Prophecy.
TLCA
Ana Bove, Venanzio Capretta
2007 — conf
Formal correctness of conflict detection for firewalls.
FMSE
Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin
2006 — conf
Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.
TYPES
Venanzio Capretta, Amy P. Felty
2006 J jnl
Recursive coalgebras from comonads.
Inf. Comput.
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
2005 J jnl
General Recursion via Coinductive Types
CoRR
Venanzio Capretta
2005 J jnl
General recursion via coinductive types.
Log. Methods Comput. Sci.
Venanzio Capretta
2005 J jnl
Modelling general recursion in type theory.
Math. Struct. Comput. Sci.
Ana Bove, Venanzio Capretta
2005 — conf
Privacy in Data Mining Using Formal Methods.
TLCA
Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta
2005 — conf
Recursive Functions with Higher Order Domains.
TLCA
Ana Bove, Venanzio Capretta
2004 — conf
Recursive Coalgebras from Comonads.
CMCS
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
2003 J jnl
Setoids in type theory.
J. Funct. Program.
Gilles Barthe, Venanzio Capretta, Olivier Pons
2002 — book
Abstraction and computation - type theory, algebraic structures, and recursive functions.
Venanzio Capretta
2002 — conf
Type-Theoretic Functional Semantics.
TPHOLs
Yves Bertot, Venanzio Capretta, Kuntal Das Barman
2001 — conf
Certifying the Fast Fourier Transform with Coq.
TPHOLs
Venanzio Capretta
2001 — conf
Nested General Recursion and Partiality in Type Theory.
TPHOLs
Ana Bove, Venanzio Capretta
2000 — conf
Recursive Families of Inductive Types.
TPHOLs
Venanzio Capretta
1999 J jnl
A general method for proving the normalization theorem for first and second order typed lambda-calculi.
Math. Struct. Comput. Sci.
Venanzio Capretta, Silvio Valentini
1999 — conf
Universal Algebra in Type Theory.
TPHOLs
Venanzio Capretta