Consistency argument and classification problem in -calculus

DOI10.1007/BF02917403MaRDI QIDQ1610037zbMATH OpenOpenAlexFDO

Authors Ju Wang, Qieyuan Huang, Ying Jiang, Xishun Zhao

Publication date 18 August 2002

Published in Science in China. Series E (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02917403

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Applying universal algebra to lambda calculus
• Nonmodularity results for lambda calculus
• scientific article; zbMATH DE number 956467
• Some new results on easy lambda-terms
• [Russian Text Ignored]

Cites work

• scientific article; zbMATH DE number 3648679 (Why is no real title available?)
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(2)

• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• The basis decision problem in λ‐calculus

This page was built for publication: Consistency argument and classification problem in \(\lambda\)-calculus

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