scientific article
From MaRDI portal
Publication:3351348
zbMath0728.03012MaRDI QIDQ3351348
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cartesian closed categoriescategorical models of typed \(\lambda \) -calculusconcept of variablesde Bruijn's name-free expression
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
