scientific article
From MaRDI portal
Publication:3682463
zbMath0567.03003MaRDI QIDQ3682463
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Functional programming with combinators ⋮ A category-theoretic characterization of functional completeness ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment ⋮ Introduction to Turing categories ⋮ Formalizing abstract computability: Turing categories in Coq
This page was built for publication:
