Parametric polymorphism and operational equivalence (Q4500171): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 07:46, 7 February 2024

scientific article; zbMATH DE number 1501363
Language Label Description Also known as
English
Parametric polymorphism and operational equivalence
scientific article; zbMATH DE number 1501363

    Statements

    Parametric polymorphism and operational equivalence (English)
    0 references
    0 references
    4 September 2000
    0 references
    polymorphic lambda calculus
    0 references
    relational parametricity
    0 references

    Identifiers