Branching, Disjointness and Injectivity for OutsideIn(X)

Alejandro Serrano Mena

    Research output: Contribution to conference › Poster › Other research output

    Original languageEnglish
    Publication statusPublished - 1 Sept 2014
    EventInternational Conference on Functional Programming - Göteborg, Sweden
    Duration: 1 Sept 2014 → 3 Sept 2014

    Conference

    ConferenceInternational Conference on Functional Programming
    Country/TerritorySweden
    CityGöteborg
    Period1/09/14 → 3/09/14

    Cite this