scientific article

zbMath0792.03007MaRDI QIDQ3138540

Bart Jacobs

Publication date: 11 November 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

indexed categoriessimply typed \(\lambda\)-calculusuntyped \(\lambda\)- calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Decomposing typed lambda calculus into a couple of categorical programming languages ⋮ Categorical abstract machines for higher-order typed \(\lambda\)-calculi

This page was built for publication: