Discriminators in Lambda Calculus

CIT. Journal of Computing and Information Technology

Gaborovič, Svitan¹ 

[1] Faculty of Civil Engineering, University of Maribor, Maribor, Slovenia

关键词: Lambda calculus;    lambda term;    discriminator;    separability of terms;    discriminability;    numeral;   

DOI  :  

学科分类：计算机科学（综合）

来源: Sveuciliste u Zagrebu

【 摘 要 】

The paper treats the problems of discriminability and separability for a wide class of infinite sets of terms in the pure lambda calculus. The technique used is a generalization of the Bohm out technique for extracting substitutional...

【 授权许可】

Unknown