Quantifier elimination and parametric polymorphism in programming languages (Q4763983)

From MaRDI portal
scientific article; zbMATH DE number 749800
Language Label Description Also known as
English
Quantifier elimination and parametric polymorphism in programming languages
scientific article; zbMATH DE number 749800

    Statements

    Identifiers