Browse by Authors and Editors
Number of items: 3.
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
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)
Capretta, Venanzio and Fowler, Jonathan (2017) The continuity of monadic stream functions. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), 20-23 June 2017, Reykjavik, Iceland. (In Press)