Pages that link to "Item:Q1706116"

The following pages link to Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116):

Displaying 3 items.

• Statistical properties of lambda terms (Q2327214) (← links)
• On the enumeration of closures and environments with an application to random generation (Q4972734) (← links)
• Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)