Venanzio Capretta

发表

Venanzio Capretta, Silvio Valentini, Venanzio Capretta, 1999, Mathematical Structures in Computer Science.
Venanzio Capretta, Venanzio Capretta, 2004 .
Pieter A. M. Seuren, Venanzio Capretta, 2001 .
Venanzio Capretta, Tarmo Uustalu, Varmo Vene, 2004, CMCS.
Venanzio Capretta, Hendrik Pieter Barendregt, Dexter Kozen, 2013, J. Autom. Lang. Comb..
Graham Hutton, Venanzio Capretta, Mauro Jaskelioff, 2016, IFL 2016.
Venanzio Capretta, Venanzio Capretta, 2011, Theor. Comput. Sci..
Gilles Barthe, Venanzio Capretta, Olivier Pons, 2003, Journal of Functional Programming.
Venanzio Capretta, Colm Baston, Venanzio Capretta, 2018, ITP.
Venanzio Capretta, Venanzio Capretta, 2007 .
Amy P. Felty, Venanzio Capretta, Venanzio Capretta, 2006, TYPES.
Amy P. Felty, Venanzio Capretta, Venanzio Capretta, 2009 .
Stan Matwin, Amy P. Felty, Venanzio Capretta, 2007, FMSE '07.
Venanzio Capretta, Venanzio Capretta, 2005, Log. Methods Comput. Sci..
Stan Matwin, Amy P. Felty, Venanzio Capretta, 2005, TLCA.
Venanzio Capretta, Ana Bove, 2008, TPHOLs.
Venanzio Capretta, Ana Bove, Venanzio Capretta, 2005, Mathematical Structures in Computer Science.
Venanzio Capretta, Ana Bove, Venanzio Capretta, 2005, TLCA.
Venanzio Capretta, Ana Bove, Venanzio Capretta, 2001, TPHOLs.
Venanzio Capretta, 2011, Theor. Comput. Sci..
Venanzio Capretta, Venanzio Capretta, 1999, TPHOLs.
Venanzio Capretta, 2000 .