Applications of Plotkin-terms: partitions and morphisms for closed terms

DOI10.1017/S0956796899003548zbMath0946.68022OpenAlexW2118002604MaRDI QIDQ4943310

Richard Statman, Hendrik Pieter Barendregt

Publication date: 17 October 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796899003548

zbMATH Keywords

closed term modelpure untyped lambda-terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Applications of infinitary lambda calculus ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus

This page was built for publication: Applications of Plotkin-terms: partitions and morphisms for closed terms