Venanzio Capretta

	2009
19		Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Corecursive Algebras: A Study of General Structured Corecursion. SBMF 2009: 84-100
	2008
18		Ana Bove, Venanzio Capretta: A Type of Partial Recursive Functions. TPHOLs 2008: 102-117
	2007
17		Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30
16		Ana Bove, Venanzio Capretta: Computation by Prophecy. TLCA 2007: 70-83
	2006
15		Venanzio Capretta, Amy P. Felty: Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES 2006: 63-77
14		Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive coalgebras from comonads. Inf. Comput. 204(4): 437-468 (2006)
	2005
13		Ana Bove, Venanzio Capretta: Recursive Functions with Higher Order Domains. TLCA 2005: 116-130
12		Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta: Privacy in Data Mining Using Formal Methods. TLCA 2005: 278-292
11		Venanzio Capretta: General Recursion via Coinductive Types CoRR abs/cs/0505037: (2005)
10		Venanzio Capretta: General recursion via coinductive types. Logical Methods in Computer Science 1(2): (2005)
9		Ana Bove, Venanzio Capretta: Modelling general recursion in type theory. Mathematical Structures in Computer Science 15(4): 671-708 (2005)
	2004
8		Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive Coalgebras from Comonads. Electr. Notes Theor. Comput. Sci. 106: 43-61 (2004)
	2003
7		Gilles Barthe, Venanzio Capretta, Olivier Pons: Setoids in type theory. J. Funct. Program. 13(2): 261-293 (2003)
	2002
6		Yves Bertot, Venanzio Capretta, Kuntal Das Barman: Type-Theoretic Functional Semantics. TPHOLs 2002: 83-98
	2001
5		Ana Bove, Venanzio Capretta: Nested General Recursion and Partiality in Type Theory. TPHOLs 2001: 121-135
4		Venanzio Capretta: Certifying the Fast Fourier Transform with Coq. TPHOLs 2001: 154-168
	2000
3		Venanzio Capretta: Recursive Families of Inductive Types. TPHOLs 2000: 73-89
	1999
2		Venanzio Capretta: Universal Algebra in Type Theory. TPHOLs 1999: 131-148
1		Venanzio Capretta, Silvio Valentini: A general method for proving the normalization theorem for first and second order typed lambda-calculi. Mathematical Structures in Computer Science 9(6): 719-739 (1999)

Coauthor Index

1	Kuntal Das Barman	[6]
2	Gilles Barthe	[7]
3	Yves Bertot	[6]
4	Ana Bove	[5] [9] [13] [16] [18]
5	Amy P. Felty	[12] [15] [17]
6	István T. Hernádvölgyi	[12]
7	Stan Matwin	[12] [17]
8	Olivier Pons	[7]
9	Bernard Stepien	[17]
10	Tarmo Uustalu	[8] [14] [19]
11	Silvio Valentini	[1]
12	Varmo Vene	[8] [14] [19]

Colors in the list of coauthors