Venanzio Capretta
Venanzio Capretta
Nottingham University
Verified email at duplavis.com - Homepage
Title
Cited by
Cited by
Year
General recursion via coinductive types
V Capretta
Logical Methods in Computer Science 1 (2), 1-28, 2005
1402005
Setoids in type theory
G Barthe, V Capretta, O Pons
Journal of Functional Programming 13 (2), 261-293, 2003
1062003
Modelling general recursion in type theory
A Bove, V Capretta
Mathematical Structures in Computer Science 15 (4), 671-708, 2005
922005
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
712006
Formal correctness of conflict detection for firewalls
V Capretta, B Stepien, A Felty, S Matwin
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
692007
Nested general recursion and partiality in type theory
A Bove, V Capretta
International Conference on Theorem Proving in Higher Order Logics, 121-125, 2001
652001
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
382009
Control access rule conflict detection
A Felty, V Capretta, B Stepien, S Matwin
US Patent App. 12/289,342, 2009
372009
Universal algebra in type theory
V Capretta
International Conference on Theorem Proving in Higher Order Logics, 131-148, 1999
371999
Combining de Bruijn indices and higher-order abstract syntax in Coq
V Capretta, AP Felty
International Workshop on Types for Proofs and Programs, 63-77, 2006
302006
Abstraction and computation
V Capretta
PhD thesis, Computing Science Institute, University of Nijmegen, 2002
212002
Type-theoretic functional semantics
Y Bertot, V Capretta, KD Barman
International Conference on Theorem Proving in Higher Order Logics, 83-97, 2002
202002
The logic and mathematics of occasion sentences
PAM Seuren, V Capretta, H Geuvers
Linguistics and philosophy 24 (5), 531-595, 2001
192001
Certifying the fast Fourier transform with Coq
V Capretta
International Conference on Theorem Proving in Higher Order Logics, 154-168, 2001
192001
Computation by prophecy
A Bove, V Capretta
International Conference on Typed Lambda Calculi and Applications, 70-83, 2007
172007
Coalgebras in functional programming and type theory
V Capretta
Theoretical Computer Science 412 (38), 5006-5024, 2011
152011
Common knowledge as a coinductive modality
V Capretta
Reflections on Type Theory, Lambda Calculus, and the Mind, 51-61, 2007
142007
A polymorphic representation of induction-recursion
V Capretta
Note of 9, 2004
142004
Higher-order abstract syntax in type theory
V Capretta, A Felty
Logic Colloquium 6, 2006
132006
A general method for proving the normalization theorem for first and second order typed λ-calculi
V Capretta, S Valentini
Mathematical Structures in Computer Science 9 (6), 719-739, 1999
131999
The system can't perform the operation now. Try again later.
Articles 1–20