Decidability of the restriction equational theory in the partial lambda calculus

DOI10.1016/0304-3975(89)90029-7MaRDI QIDQ1120561zbMATH OpenOpenAlexWikidataFDO

Authors Ramón Pino Pérez

Publication date 1989

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(89)90029-7

zbMATH Keywords

equational theorypartial \(\lambda \) -calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 814613
• Computer Science Logic
• scientific article; zbMATH DE number 1095799
• Decidability of the restricted theories of a class of partial orders
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Decidability of equational theories for subsignatures of relation algebra
• Restriction of term complexity in derivations and decidable fragments of predicate calculus
• Reducibility Proofs in the λ-Calculus
• scientific article; zbMATH DE number 4041328
• Typed Lambda Calculi and Applications

Cites work

• scientific article; zbMATH DE number 4004098 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• The hereditary partial effective functionals and recursion theory in higher types

Cited in

(6)

• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• scientific article; zbMATH DE number 814613 (Why is no real title available?)
• Toward a reduction system commuting with beta reduction in the partial lambda calculus
• The basis decision problem in λ‐calculus
• European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable

This page was built for publication: Decidability of the restriction equational theory in the partial lambda calculus

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