Publication:4124819
From MaRDI portal
zbMath0354.02023MaRDI QIDQ4124819
Publication date: 1975
Related Items
Intersection types for \(\lambda\)-trees, Innocent game models of untyped \(\lambda\)-calculus, Expressive power of typed and type-free programming languages, Invertible terms in the lambda calculus, Infinite \(\lambda\)-calculus and types, On infinite \(\eta\)-expansion, Adapting innocent game models for the Böhm tree \(\lambda\)-theory