Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

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)

This list was generated on Fri Mar 24 01:28:11 2017 UTC.