Venanzio Capretta

2008
18	EE	Ana Bove, Venanzio Capretta: A Type of Partial Recursive Functions. TPHOLs 2008: 102-117
2007
17	EE	Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30
16	EE	Ana Bove, Venanzio Capretta: Computation by Prophecy. TLCA 2007: 70-83
2006
15	EE	Venanzio Capretta, Amy P. Felty: Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES 2006: 63-77
14	EE	Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive coalgebras from comonads. Inf. Comput. 204(4): 437-468 (2006)
2005
13	EE	Ana Bove, Venanzio Capretta: Recursive Functions with Higher Order Domains. TLCA 2005: 116-130
12	EE	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	EE	Venanzio Capretta: General Recursion via Coinductive Types CoRR abs/cs/0505037: (2005)
10	EE	Venanzio Capretta: General recursion via coinductive types. Logical Methods in Computer Science 1(2): (2005)
9	EE	Ana Bove, Venanzio Capretta: Modelling general recursion in type theory. Mathematical Structures in Computer Science 15(4): 671-708 (2005)
2004
8	EE	Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive Coalgebras from Comonads. Electr. Notes Theor. Comput. Sci. 106: 43-61 (2004)
2003
7	EE	Gilles Barthe, Venanzio Capretta, Olivier Pons: Setoids in type theory. J. Funct. Program. 13(2): 261-293 (2003)
2002
6	EE	Yves Bertot, Venanzio Capretta, Kuntal Das Barman: Type-Theoretic Functional Semantics. TPHOLs 2002: 83-98
2001
5	EE	Ana Bove, Venanzio Capretta: Nested General Recursion and Partiality in Type Theory. TPHOLs 2001: 121-135
4	EE	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	EE	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]
11	Silvio Valentini	[1]
12	Varmo Vene	[8] [14]

Colors in the list of coauthors