Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.


Capretta, Venanzio and Fowler, Jonathan (2017) The continuity of monadic stream functions. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '17 . pp. 1-12. ISSN 1043-6871

Capretta, Venanzio and Uustalu, Tarmo (2016) A coalgebraic view of bar recursion and bar induction. Lecture Notes in Computer Science, 9634 . pp. 91-106. ISSN 0302-9743

Conference or Workshop Item

Baston, Colm and Capretta, Venanzio (2018) The coinductive formulation of common knowledge. In: ITP 2018 - Interactive Theorem Proving, 9-12 August 2018, Oxford, UK.

Capretta, Venanzio and Hutton, Graham and Jaskelioff, Mauro (2017) Contractive functions on infinite data structures. In: 28th symposium on Implementation and Application of Functional Languages, August 31 - September 2, 2016, Leuven, Belgium. (In Press)

This list was generated on Mon Oct 2 02:31:23 2023 UTC.