Follow
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
1852005
Setoids in type theory
G Barthe, V Capretta, O Pons
Journal of Functional Programming 13 (2), 261-293, 2003
1282003
Modelling general recursion in type theory
A Bove, V Capretta
Mathematical Structures in Computer Science 15 (4), 671-708, 2005
1042005
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
752007
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
722006
Nested general recursion and partiality in type theory
A Bove, V Capretta
International Conference on Theorem Proving in Higher Order Logics, 121-125, 2001
672001
Control access rule conflict detection
A Felty, V Capretta, B Stepien, S Matwin
US Patent App. 12/289,342, 2009
522009
Universal algebra in type theory
V Capretta
Theorem Proving in Higher Order Logics: 12th International Conference …, 1999
431999
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
422009
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
292006
Certifying the fast fourier transform with Coq
V Capretta
International Conference on Theorem Proving in Higher Order Logics, 154-168, 2001
222001
Type-theoretic functional semantics
Y Bertot, V Capretta, KD Barman
International Conference on Theorem Proving in Higher Order Logics, 83-97, 2002
202002
Abstraction and computation
V Capretta
PhD thesis, Computing Science Institute, University of Nijmegen, 2002
202002
The logic and mathematics of occasion sentences
PAM Seuren, V Capretta, H Geuvers
Linguistics and Philosophy 24, 531-595, 2001
202001
Computation by prophecy
A Bove, V Capretta
International Conference on Typed Lambda Calculi and Applications, 70-83, 2007
172007
A polymorphic representation of induction-recursion
V Capretta
Note of 9, 2004
162004
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
152007
Higher-order abstract syntax in type theory
V Capretta, A Felty
Logic Colloquium 6, 2006
142006
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