scientific article; zbMATH DE number 3550683

zbMath0354.02023MaRDI QIDQ4124819

Reiji Nakajima

Publication date: 1975

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

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Combinatory logic and lambda calculus (03B40)

Related Items (8)

Relational graph models, Taylor expansion and extensionality ⋮ Adapting innocent game models for the Böhm tree \(\lambda\)-theory ⋮ Invertible terms in the lambda calculus ⋮ Intersection types for \(\lambda\)-trees ⋮ Innocent game models of untyped \(\lambda\)-calculus ⋮ Infinite \(\lambda\)-calculus and types ⋮ Expressive power of typed and type-free programming languages ⋮ On infinite \(\eta\)-expansion

This page was built for publication: