On functors expressible in the polymorphic typed lambda calculus
From MaRDI portal
Publication:1260643
DOI10.1006/inco.1993.1037zbMath0785.03004MaRDI QIDQ1260643
John C. Reynolds, Gordon D. Plotkin
Publication date: 30 August 1993
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/3397551bd817a057149c4fb0230fd01cce2327f2
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
A representation theorem for second-order functionals, Free \(\mu\)-lattices, Functorial polymorphism, The Girard-Reynolds isomorphism (second edition), The Girard-Reynolds isomorphism, A higher-order calculus and theory abstraction, Unnamed Item