scientific article
From MaRDI portal
Publication:3714049
zbMath0587.03009MaRDI QIDQ3714049
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
This page was built for publication: