Core algebra revisited

DOI10.1016/j.tcs.2006.12.033zbMath1118.18004OpenAlexW2093029972MaRDI QIDQ879364

Peter J. Freyd

Publication date: 11 May 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.033

zbMATH Keywords

polymorphismparametricitycore algebraReynolds

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Applications of universal algebra in computer science (08A70) Equational classes, universal algebra in model theory (03C05)

Related Items (3)

Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ Isotropy of algebraic theories ⋮ Unnamed Item

This page was built for publication: Core algebra revisited