Relational Parametricity for Computational Effects (Q3395102)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Relational Parametricity for Computational Effects
    scientific article

      Statements

      Identifiers