scientific article; zbMATH DE number 3550683

zbMATH Open0354.02023MaRDI QIDQ4124819FDOQ4124819

Authors: Reiji Nakajima 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (8)

• On infinite \(\eta\)-expansion
• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• Relational graph models, Taylor expansion and extensionality
• 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
• 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)