Venanzio Capretta

	2011
23		Venanzio Capretta, Conor McBride: Preface. Electr. Notes Theor. Comput. Sci. 229(5): 1-2 (2011)
22		Venanzio Capretta: Coalgebras in functional programming and type theory. Theor. Comput. Sci. 412(38): 5006-5024 (2011)
	2010
21		Venanzio Capretta: Bisimulations Generated from Corecursive Equations. Electr. Notes Theor. Comput. Sci. 265: 245-258 (2010)
	2009
20		Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Corecursive Algebras: A Study of General Structured Corecursion. SBMF 2009: 84-100
	2008
19		Ana Bove, Venanzio Capretta: A Type of Partial Recursive Functions. TPHOLs 2008: 102-117
	2007
18		Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. FMSE 2007: 22-30
17		Ana Bove, Venanzio Capretta: Computation by Prophecy. TLCA 2007: 70-83
	2006
16		Venanzio Capretta, Amy P. Felty: Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. TYPES 2006: 63-77
15		Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive coalgebras from comonads. Inf. Comput. 204(4): 437-468 (2006)
	2005
14		Ana Bove, Venanzio Capretta: Recursive Functions with Higher Order Domains. TLCA 2005: 116-130
13		Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta: Privacy in Data Mining Using Formal Methods. TLCA 2005: 278-292
12		Venanzio Capretta: General Recursion via Coinductive Types CoRR abs/cs/0505037: (2005)
11		Venanzio Capretta: General recursion via coinductive types. Logical Methods in Computer Science 1(2): (2005)
10		Ana Bove, Venanzio Capretta: Modelling general recursion in type theory. Mathematical Structures in Computer Science 15(4): 671-708 (2005)
	2004
9		Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive Coalgebras from Comonads. Electr. Notes Theor. Comput. Sci. 106: 43-61 (2004)
	2003
8		Gilles Barthe, Venanzio Capretta, Olivier Pons: Setoids in type theory. J. Funct. Program. 13(2): 261-293 (2003)
	2002
7		Venanzio Capretta: Abstraction and computation - type theory, algebraic structures, and recursive functions. Univ. Nijmegen 2002: 1-259
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	[8]
3	Yves Bertot	[6]
4	Ana Bove	[5] [10] [14] [17] [19]
5	Amy P. Felty	[13] [16] [18]
6	István T. Hernádvölgyi	[13]
7	Stan Matwin	[13] [18]
8	Conor McBride	[23]
9	Olivier Pons	[8]
10	Bernard Stepien	[18]
11	Tarmo Uustalu	[9] [15] [20]
12	Silvio Valentini	[1]
13	Varmo Vene	[9] [15] [20]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page