Venanzio Capretta

Contact

• workRoom B83 Computer Science
  Jubilee Campus
  Wollaton Road
  Nottingham
  NG8 1BB
  UK
• workn/a
• venanzio.capretta@nottingham.ac.uk
• http://www.duplavis.com/venanzio/

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

• View all 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