Nonmodularity results for lambda calculus

MaRDI QIDQ2729668zbMATH OpenFDO

Authors Antonino Salibra

Publication date 11 March 2002

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

modularitycommutatorlambda calculuslambda abstraction algebrascombinatory algebraslattice of lambda theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Congruence modularity, congruence distributivity (08B10)

Recommendations

• Some results on extensionality in lambda calculus
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• On modular properties of higher order extensional lambda calculi
• Modal nonassociative Lambek calculus with assumptions: complexity and context-freeness
• Lambda calculus and intuitionistic linear logic
• Addition of noncombinatorial relations to the lambda calculus
• A Nominal Axiomatization of the Lambda Calculus
• On the algebraic models of lambda calculus
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 1508934

Cited in

(5)

• Consistency argument and classification problem in -calculus
• The Lattice of Lambda Theories
• Towards lambda calculus order-incompleteness
• Easiness in graph models
• Relational graph models at work

This page was built for publication: Nonmodularity results for lambda calculus

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