- Corecursion Bisimulation
- COMMON KNOWLEDGE AS A COINDUCTIVE MODALITY VENANZIO CAPRETTA
- A polymorphic representation of induction-recursion
- Universal Algebra in Type Theory Venanzio Capretta
- Math. Struct. in Comp. Science (1999), vol. 9, pp. 719739. Printed in the United Kingdom c 1999 Cambridge University Press
- Math. Struct. in Comp. Science (2005), vol. 15, pp. 671708. c 2005 Cambridge University Press doi:10.1017/S0960129505004822 Printed in the United Kingdom
- Certifying the Fast Fourier Transform with Coq Venanzio Capretta
- Corecursive Algebras: A Study of General Structured Corecursion (Extended Abstract)
- Computation by Prophecy and Venanzio Capretta2
- Logical Methods in Computer Science Vol. 1 (2:1) 2005, pp. 128
- Recursive Functions with Higher Order Domains and Venanzio Capretta2
- JFP 13 (2): 261293, March 2003. c 2003 Cambridge University Press DOI: 10.1017/S0956796802004501 Printed in the United Kingdom
- Type-Theoretic Functional Semantics Yves Bertot, Venanzio Capretta, and Kuntal Das Barman
- PIETER A. M. SEUREN, VENANZIO CAPRETTA and HERMAN GEUVERS THE LOGIC AND MATHEMATICS OF OCCASION SENTENCES1
- Privacy in Data Mining Using Formal Methods Stan Matwin1,2
- Formal Correctness of Conflict Detection for Firewalls Venanzio Capretta
- Logical Methods in Computer Science Vol. 1 (2:1) 2005, pp. 1--28
- HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY VENANZIO CAPRETTA AND AMY P. FELTY
- Nested General Recursion and Partiality in Type Theory
- An Introduction to Corecursive Algebras Venanzio Capretta
- A polymorphic representation of induction-recursion
- Recursive Coalgebras from Comonads Venanzio Capretta1 ,2
- Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq
- Recursive Families of Inductive Types Venanzio Capretta
- Information and Computation 204 (2006) 437468 www.elsevier.com/locate/ic
