scientific article; zbMATH DE number 3550683

MaRDI QIDQ4124819zbMATH OpenFDO

Authors Reiji Nakajima

Publication date 1975

Mathematics Subject Classification ID

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

Cited in

(8)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4124819)