Discriminating coded lambda terms

MaRDI QIDQ4428882zbMATH OpenFDO

Authors Henk Barendregt

Publication date 22 September 2003

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(4)

• A class of bounded functions, a database language and an extended lambda calculus
• A note on discriminability of lambda terms
• scientific article; zbMATH DE number 845591 (Why is no real title available?)
• Gems of Corrado Böhm

This page was built for publication: Discriminating coded lambda terms

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