Venanzio Capretta

According to our database, Venanzio Capretta authored at least 26 papers between 1999 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

The Coinductive Formulation of Common Knowledge.

Colm Baston, Venanzio Capretta

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

The continuity of monadic stream functions.

Venanzio Capretta, Jonathan Fowler

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Contractive Functions on Infinite Data Structures.

Venanzio Capretta, Graham Hutton, Mauro Jaskelioff

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

A Coalgebraic View of Bar Recursion and Bar Induction.

Venanzio Capretta, Tarmo Uustalu

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2013

Reflection in the Chomsky Hierarchy.

Henk Barendregt, Venanzio Capretta, Dexter Kozen

J. Autom. Lang. Comb., 2013

2011

Coalgebras in functional programming and type theory.

Venanzio Capretta

Theor. Comput. Sci., 2011

2010

Bisimulations Generated from Corecursive Equations.

Venanzio Capretta

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2009

Corecursive Algebras: A Study of General Structured Corecursion.

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Preface.

Venanzio Capretta, Conor McBride

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

A Type of Partial Recursive Functions.

Ana Bove, Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

Computation by Prophecy.

Ana Bove, Venanzio Capretta

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Formal correctness of conflict detection for firewalls.

Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.

Venanzio Capretta, Amy P. Felty

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2005

Modelling general recursion in type theory.

Ana Bove, Venanzio Capretta

Math. Struct. Comput. Sci., 2005

General recursion via coinductive types.

Venanzio Capretta

Log. Methods Comput. Sci., 2005

Privacy in Data Mining Using Formal Methods.

Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Recursive Functions with Higher Order Domains.

Ana Bove, Venanzio Capretta

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

2004

Recursive Coalgebras from Comonads.

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2003

Setoids in type theory.

Gilles Barthe, Venanzio Capretta, Olivier Pons

J. Funct. Program., 2003

2002

Type-Theoretic Functional Semantics.

Yves Bertot, Venanzio Capretta, Kuntal Das Barman

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Abstraction and computation - type theory, algebraic structures, and recursive functions.

Venanzio Capretta

Univ. Nijmegen, ISBN: 978-90-9015738-2, 2002

2001

Certifying the Fast Fourier Transform with Coq.

Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Nested General Recursion and Partiality in Type Theory.

Ana Bove, Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Recursive Families of Inductive Types.

Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

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

Universal Algebra in Type Theory.

Venanzio Capretta

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999