Publication:4101793
From MaRDI portal
zbMath0335.02013MaRDI QIDQ4101793
Publication date: 1975
03B40: Combinatory logic and lambda calculus
Related Items
Expressive power of typed and type-free programming languages, Type theories, normal forms, and \(D_{\infty}\)-lambda-models, Fully abstract models of typed \(\lambda\)-calculi, A type-theoretical alternative to ISWIM, CUCH, OWHY