Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Original languageEnglish
    Book seriesLecture Notes in Computer Science
    Volume4052
    ISSN0302-9743
    DOIs
    Publication statusPublished - 2006
    Event33rd International Colloquium, ICALP 2006: 33rd International Colloquium on - Venice, Italy
    Duration: 9 Jul 200616 Jul 2006
    Conference number: 33rd
    http://icalp06.dsi.unive.it/

    Conference

    Conference33rd International Colloquium, ICALP 2006
    Number33rd
    Country/TerritoryItaly
    CityVenice
    Period09/07/200616/07/2006
    Internet address

    Cite this