Consistency argument and classification problem in \(\lambda\)-calculus

DOI10.1007/BF02917403zbMath1003.03515OpenAlexW1976400665MaRDI QIDQ1610037

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

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)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Unnamed Item

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