School of Computer Science

Image of Venanzio Capretta

Venanzio Capretta

Assistant Professor, Faculty of Science


Recent Publications

  • VENANZIO CAPRETTA, GRAHAM HUTTON and MAURO JASKELIOFF, 2017. Contractive Functions on Infinite Data Structures In: Proceedings of the 28th Symposium on Implementation and Application of Functional Languages.
  • VENANZIO CAPRETTA and JONATHAN FOWLER, 2017. The continuity of monadic stream functions In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. 1-12
  • VENANZIO CAPRETTA and TARMO UUSTALU, 2016. A Coalgebraic View of Bar Recursion and Bar Induction In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. 91-106
  • CAPRETTA, V., 2013. Wander types: a formalization of coinduction-recursion Progress in Informatics. 10(March), 47-63
  • HENK BARENDREGT, VENANZIO CAPRETTA and DEXTER KOZEN, 2013. Reflection in the Chomsky hierarchy Journal of Automata, Languages and Combinatorics. 18(1), 53-60
  • CAPRETTA, V, 2011. Coalgebras In Functional Programming And Type Theory Theoretical Computer Science. 412(38), 5006-5024
  • CAPRETTA, V., 2010. Bisimulations generated from corecursive equations In: 26th Conference on the Mathematical Foundations of Programming Semantics, ENTCS 265 (Electronic Notes in Theoretical Computer Science, v. 265). 265. 245–258
  • CAPRETTA, V., UUSTALU, T. and VENE, V., 2009. Corecursive algebras: a study of general structured corecursion. In: OLIVEIRA, M.V.M. and WOODCOCK, J., eds., Formal methods: foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 Springer. 84-100
  • CAPRETTA, V. and FELTY, A., 2009. Higher-order abstract syntax in type theory. In: COOPER, S.B., GEUVERS, H., PILLAY, A. and VÄÄNÄNEN, J., eds., Logic Colloquium 2006 Cambridge University Press. 65-90
  • BOVE, A and CAPRETTA, V, 2008. A type of partial recursive functions. In: MOHAMED, O.A., MUÑOZ, C. and TAHAR, S., eds., Theorem proving in higher order logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 Springer. 102-117
  • CAPRETTA, V, STEPIEN, B, FELTY, A and MATWIN, S, 2007. Formal Correctness Of Conflict Detection For Firewalls

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit: