Showing 1 - 4 results of 4 for search 'Marina Lenisa', query time: 0.02s Refine Results
  1. 1
    Conway games, algebraically and coalgebraically

    Conway games, algebraically and coalgebraically by Furio Honsell, Marina Lenisa

    Published 2011-09-01
    Get full text
    Article
  2. 2
    RPO, Second-order Contexts, and Lambda-calculus

    RPO, Second-order Contexts, and Lambda-calculus by Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

    Published 2009-08-01
    Get full text
    Article
  3. 3
    A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning

    A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning by Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

    Published 2019-10-01
    Get full text
    Article
  4. 4
    LF+ in Coq for "fast and loose" reasoning

    LF+ in Coq for "fast and loose" reasoning by Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

    Published 2019-12-01
    Get full text
    Article

Search Tools: