scientific article; zbMATH DE number 3523517
From MaRDI portal
Publication:4101793
zbMath0335.02013MaRDI QIDQ4101793
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Relational graph models, Taylor expansion and extensionality, Type theories, normal forms, and \(D_{\infty}\)-lambda-models, Fully abstract models of typed \(\lambda\)-calculi, Unnamed Item, Unnamed Item, Expressive power of typed and type-free programming languages, Unnamed Item, A type-theoretical alternative to ISWIM, CUCH, OWHY, The infinitary lambda calculus of the infinite eta Böhm trees
