Search the dblp DataBase
Venanzio Capretta :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Stan Matwin , Amy P. Felty , István T. Hernádvölgyi , Venanzio Capretta Privacy in Data Mining Using Formal Methods. [Citation Graph (0, 0)][DBLP ] TLCA, 2005, pp:278-292 [Conf ] Ana Bove , Venanzio Capretta Recursive Functions with Higher Order Domains. [Citation Graph (0, 0)][DBLP ] TLCA, 2005, pp:116-130 [Conf ] Ana Bove , Venanzio Capretta Nested General Recursion and Partiality in Type Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2001, pp:121-135 [Conf ] Venanzio Capretta Recursive Families of Inductive Types. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2000, pp:73-89 [Conf ] Venanzio Capretta Certifying the Fast Fourier Transform with Coq. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2001, pp:154-168 [Conf ] Venanzio Capretta Universal Algebra in Type Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:131-148 [Conf ] Yves Bertot , Venanzio Capretta , Kuntal Das Barman Type-Theoretic Functional Semantics. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2002, pp:83-98 [Conf ] Venanzio Capretta , Tarmo Uustalu , Varmo Vene Recursive Coalgebras from Comonads. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:43-61 [Journal ] Venanzio Capretta , Tarmo Uustalu , Varmo Vene Recursive coalgebras from comonads. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2006, v:204, n:4, pp:437-468 [Journal ] Gilles Barthe , Venanzio Capretta , Olivier Pons Setoids in type theory. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2003, v:13, n:2, pp:261-293 [Journal ] Venanzio Capretta General recursion via coinductive types. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2005, v:1, n:2, pp:- [Journal ] Ana Bove , Venanzio Capretta Modelling general recursion in type theory. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:671-708 [Journal ] Venanzio Capretta , Silvio Valentini A general method for proving the normalization theorem for first and second order typed lambda-calculi. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:6, pp:719-739 [Journal ] Ana Bove , Venanzio Capretta Computation by Prophecy. [Citation Graph (0, 0)][DBLP ] TLCA, 2007, pp:70-83 [Conf ] Venanzio Capretta , Amy P. Felty Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. [Citation Graph (0, 0)][DBLP ] TYPES, 2006, pp:63-77 [Conf ] Formal correctness of conflict detection for firewalls. [Citation Graph (, )][DBLP ] A Type of Partial Recursive Functions. [Citation Graph (, )][DBLP ] Corecursive Algebras: A Study of General Structured Corecursion. [Citation Graph (, )][DBLP ] General Recursion via Coinductive Types [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs