Pages that link to "Item:Q5371978"
From MaRDI portal
The following pages link to Linear lambda terms as invariants of rooted trivalent maps (Q5371978):
Displaying 7 items.
- On some enumerative problems in lambda calculus (Q2202676) (← links)
- Connected chord diagrams and bridgeless maps (Q2278114) (← links)
- Quantitative Aspects of Linear and Affine Closed Lambda Terms (Q4581460) (← links)
- (Q4625697) (← links)
- A sequent calculus for a semi-associative law (Q5111331) (← links)
- Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)
- Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition (Q6044314) (← links)