Search Results - Capretta, Venanzio

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    A coalgebraic view of bar recursion and bar induction

    A coalgebraic view of bar recursion and bar induction by Capretta, Venanzio, Uustalu, Tarmo

    Published 2016
    Get full text
  2. 2
    The continuity of monadic stream functions

    The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

    Published 2017
    Get full text
  3. 3
    The continuity of monadic stream functions

    The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

    Published 2017
    Get full text
  4. 4
    The coinductive formulation of common knowledge

    The coinductive formulation of common knowledge by Baston, Colm, Capretta, Venanzio

    Published 2018
    Get full text
  5. 5
    Contractive functions on infinite data structures

    Contractive functions on infinite data structures by Capretta, Venanzio, Hutton, Graham, Jaskelioff, Mauro

    Published 2017
    Get full text

Search Tools: