Publication:3682463
From MaRDI portal
zbMath0567.03003MaRDI QIDQ3682463
Publication date: 1984
functional completeness; combinatory logic; functional programming languages; Cartesian Closed Categories
03G30: Categorical logic, topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Computability in higher types, P\(\omega\) and the completeness of type assignment, A category-theoretic characterization of functional completeness, Introduction to Turing categories, Functional programming with combinators