scientific article; zbMATH DE number 742721

From MaRDI portal

Publication:4327831

Jump to:navigation, search

zbMath0821.03008MaRDI QIDQ4327831

No author found.

Publication date: 9 April 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

object oriented programming parametricity higher-order polymorphic lambda-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (2)

A game semantics for generic polymorphism ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4327831&oldid=18286224"