scientific article
From MaRDI portal
Publication:3342573
zbMath0549.03058MaRDI QIDQ3342573
Joachim Lambek, Philip J. Scott
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
The calculus of constructions ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category
This page was built for publication:
