The SCEAS System
| |||||||

## 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.003secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |