Showing 1 - 3 results of 3 for search 'Ines Margaria', query time: 0.02s Refine Results
  1. 1
    Toward Isomorphism of Intersection and Union types

    Toward Isomorphism of Intersection and Union types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

    Published 2013-07-01
    Get full text
    Article
  2. 2
    On Isomorphism of "Functional" Intersection and Union Types

    On Isomorphism of "Functional" Intersection and Union Types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

    Published 2015-03-01
    Get full text
    Article
  3. 3
    Retractions in Intersection Types

    Retractions in Intersection Types by Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi

    Published 2017-02-01
    Get full text
    Article

Search Tools: