scientific article; zbMATH DE number 845591

MaRDI QIDQ4865608zbMATH OpenFDO

Authors Henk Barendregt

Publication date 15 February 1996

zbMATH Keywords

coding of \(\lambda\)-terms with a simple self-interpreterdiscriminatorlambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Discriminating coded lambda terms
• A note on discriminability of lambda terms
• Counting and generating lambda terms
• Logical Aspects of Computational Linguistics
• Discriminating lambda-terms using clocked Böhm trees
• Enumeration of generalized BCI lambda-terms
• Counting terms in the binary lambda calculus
• A natural counting of lambda terms
• Counting and generating terms in the binary lambda calculus
• Enumerating lambda terms by weighted length of their de Bruijn representation

Cited in

(2)

• The self-reduction in lambda calculus
• A note on discriminability of lambda terms

This page was built for publication:

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