Consistency argument and classification problem in \(\lambda\)-calculus
From MaRDI portal
Publication:1610037
DOI10.1007/BF02917403zbMath1003.03515MaRDI 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)
03B40: Combinatory logic and lambda calculus
Cites Work