| General recursion via coinductive types V Capretta Logical Methods in Computer Science 1 (2), 1-28, 2005 | 199 | 2005 |
| Setoids in type theory G Barthe, V Capretta, O Pons Journal of Functional Programming 13 (2), 261-293, 2003 | 133 | 2003 |
| Modelling general recursion in type theory A Bove, V Capretta Mathematical Structures in Computer Science 15 (4), 671-708, 2005 | 107 | 2005 |
| Recursive coalgebras from comonads V Capretta, T Uustalu, V Vene Information and Computation 204 (4), 437-468, 2006 | 79 | 2006 |
| 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 | 76 | 2007 |
| Nested general recursion and partiality in type theory A Bove, V Capretta International Conference on Theorem Proving in Higher Order Logics, 121-125, 2001 | 69 | 2001 |
| Control access rule conflict detection A Felty, V Capretta, B Stepien, S Matwin US Patent App. 12/289,342, 2009 | 57 | 2009 |
| Corecursive algebras: A study of general structured corecursion V Capretta, T Uustalu, V Vene Brazilian Symposium on Formal Methods, 84-100, 2009 | 44 | 2009 |
| Universal algebra in type theory V Capretta Theorem Proving in Higher Order Logics: 12th International Conference …, 1999 | 44 | 1999 |
| 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 | 29 | 2006 |
| The logic and mathematics of occasion sentences PAM Seuren, V Capretta, H Geuvers Linguistics and philosophy 24, 531-595, 2001 | 21 | 2001 |
| Certifying the fast fourier transform with Coq V Capretta International Conference on Theorem Proving in Higher Order Logics, 154-168, 2001 | 21 | 2001 |
| Type-theoretic functional semantics Y Bertot, V Capretta, KD Barman International Conference on Theorem Proving in Higher Order Logics, 83-97, 2002 | 20 | 2002 |
| Abstraction and computation V Capretta PhD thesis, Computing Science Institute, University of Nijmegen, 2002 | 20 | 2002 |
| Computation by prophecy A Bove, V Capretta International Conference on Typed Lambda Calculi and Applications, 70-83, 2007 | 18 | 2007 |
| A polymorphic representation of induction-recursion V Capretta Note of 9, 2004 | 16 | 2004 |
| Coalgebras in functional programming and type theory V Capretta Theoretical Computer Science 412 (38), 5006-5024, 2011 | 15 | 2011 |
| Common knowledge as a coinductive modality V Capretta Reflections on Type Theory, Lambda Calculus, and the Mind, 51-61, 2007 | 15 | 2007 |
| Higher-order abstract syntax in type theory V Capretta, A Felty Logic Colloquium 6, 2006 | 14 | 2006 |
| Recursive functions with higher order domains A Bove, V Capretta International Conference on Typed Lambda Calculi and Applications, 116-130, 2005 | 13 | 2005 |
Ana BoveAssoc. prof. in Computer Science at Chalmers University of Technology and University of GothenburgVerified email at chalmers.se
