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

(10)

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

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)