Showing 1 - 5 results of 5 for search 'Francesco Dagnino', query time: 0.03s Refine Results
  1. 1
    Foundations of regular coinduction

    Foundations of regular coinduction by Francesco Dagnino

    Published 2021-10-01
    Get full text
    Article
  2. 2
    Coaxioms: flexible coinductive definitions by inference systems

    Coaxioms: flexible coinductive definitions by inference systems by Francesco Dagnino

    Published 2020-02-01
    Get full text
    Article
  3. 3
    Extending Coinductive Logic Programming with Co-Facts

    Extending Coinductive Logic Programming with Co-Facts by Davide Ancona, Francesco Dagnino, Elena Zucca

    Published 2017-09-01
    Get full text
    Article
  4. 4
    Deconfined Global Types for Asynchronous Sessions

    Deconfined Global Types for Asynchronous Sessions by Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini

    Published 2023-01-01
    Get full text
    Article
  5. 5
    Gamifying teacher professional development: an experience with collaborative learning design

    Gamifying teacher professional development: an experience with collaborative learning design by Francesca Pozzi, Donatella Persico, Cesar Collazos, Francesco Dagnino, Jose Luis Jurado

    Published 2016-06-01
    Get full text
    Article

Search Tools: