Addition of noncombinatorial relations to the lambda calculus

zbMath0583.03008MaRDI QIDQ1069922

A. A. Kuzichev

Publication date: 1984

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

extensions of lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Addition of noncombinatorial relations to the lambda calculus