Quantifier elimination and parametric polymorphism in programming languages (Q4763983)

From MaRDI portal
Revision as of 12:14, 23 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
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