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: 3.

Article

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

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)

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 Fri Aug 18 00:32:54 2017 UTC.