Pages that link to "Item:Q3196354"
From MaRDI portal
The following pages link to A correspondence between rooted planar maps and normal planar lambda terms (Q3196354):
Displaying 10 items.
- On some enumerative problems in lambda calculus (Q2202676) (← links)
- (Q4625697) (← links)
- Asymptotic Distribution of Parameters in Random Maps (Q4993535) (← links)
- (Q5111331) (← links)
- Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)
- Linear lambda terms as invariants of rooted trivalent maps (Q5371978) (← links)
- Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition (Q6044314) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)
- A braided lambda calculus (Q6657786) (← links)
