Linear lambda terms as invariants of rooted trivalent maps
From MaRDI portal
Publication:5371978
DOI10.1017/S095679681600023XzbMath1420.68050arXiv1512.06751MaRDI QIDQ5371978
Publication date: 23 October 2017
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1512.06751
68N18: Functional programming and lambda calculus
03G30: Categorical logic, topoi
05C15: Coloring of graphs and hypergraphs
05A16: Asymptotic enumeration
03B40: Combinatory logic and lambda calculus
Related Items
Unnamed Item, Unnamed Item, Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels, Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition, On some enumerative problems in lambda calculus, Connected chord diagrams and bridgeless maps
Uses Software
Cites Work
- Asymptotics and random sampling for BCI and BCK lambda terms
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Map coloring and the vector cross product
- Lie algebras and the four color theorem
- Graphs on surfaces and their applications. Appendix by Don B. Zagier
- Combinatory logic. Vol. II
- Compact Closed Bicategories
- A Survey of Graphical Languages for Monoidal Categories
- A correspondence between rooted planar maps and normal planar lambda terms
- A Census of Hamiltonian Polygons
- Theory of Maps on Orientable Surfaces
- FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
- On the enumeration of planar maps
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item