scientific article
From MaRDI portal
Publication:3714050
zbMath0587.03010MaRDI QIDQ3714050
Publication date: 1985
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 (3)
The linear abstract machine ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ A set of combinators for abstraction in linear space
This page was built for publication: