Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition
From MaRDI portal
Publication:6044314
DOI10.1016/j.aam.2023.102532arXiv2202.03542OpenAlexW4366197214MaRDI QIDQ6044314
Publication date: 17 May 2023
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2202.03542
Exact enumeration problems, generating functions (05A15) Combinatorial identities, bijective combinatorics (05A19) Combinatorics in computer science (68R05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Cites Work
- Generating functions of bipartite maps on orientable surfaces
- Asymptotics and random sampling for BCI and BCK lambda terms
- Enumeration of generalized BCI lambda-terms
- A pattern of asymptotic vertex valency distributions in planar maps
- Enumeration of planar constellations
- Planar triangulations, bridgeless planar maps and Tamari intervals
- Planar maps as labeled mobiles
- Description trees and Tutte formulas.
- Connected chord diagrams and bridgeless maps
- Polynomial equations with one catalytic variable, algebraic series and map enumeration
- A correspondence between rooted planar maps and normal planar lambda terms
- A theory of linear typings as flows on 3-valent graphs
- Linear lambda terms as invariants of rooted trivalent maps
- A Census of Planar Maps
- The enumeration of generalized Tamari intervals
- Bijective link between Chapoton's new intervals and bipartite planar maps
