Venanzio Capretta
Venanzio Capretta
Nottingham University
確認したメール アドレス: duplavis.com - ホームページ
タイトル
引用先
引用先
General recursion via coinductive types
V Capretta
Logical Methods in Computer Science 1 (2), 1-28, 2005
1332005
Setoids in type theory
G Barthe, V Capretta, O Pons
Journal of Functional Programming 13 (2), 261, 2003
1052003
Modelling general recursion in type theory
A Bove, V Capretta
Mathematical Structures in Computer Science 15 (4), 671-708, 2005
892005
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
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
672006
Nested general recursion and partiality in type theory
A Bove, V Capretta
International Conference on Theorem Proving in Higher Order Logics, 121-125, 2001
632001
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
342009
Universal algebra in type theory
V Capretta
International Conference on Theorem Proving in Higher Order Logics, 131-148, 1999
341999
Control access rule conflict detection
A Felty, V Capretta, B Stepien, S Matwin
US Patent App. 12/289,342, 2009
322009
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
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 (5), 531-595, 2001
202001
Computation by prophecy
A Bove, V Capretta
International Conference on Typed Lambda Calculi and Applications, 70-83, 2007
172007
Certifying the fast Fourier transform with Coq
V Capretta
International Conference on Theorem Proving in Higher Order Logics, 154-168, 2001
172001
Coalgebras in functional programming and type theory
V Capretta
Theoretical Computer Science 412 (38), 5006-5024, 2011
142011
A polymorphic representation of induction-recursion
V Capretta
Note of 9, 2004
142004
Common knowledge as a coinductive modality
V Capretta
Reflections on Type Theory, Lambda Calculus, and the Mind, 51-61, 2007
132007
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20