Linear lambda terms as invariants of rooted trivalent maps

DOI10.1017/S095679681600023XzbMath1420.68050arXiv1512.06751MaRDI QIDQ5371978

Noam Zeilberger

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

Mathematics Subject Classification ID

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

• OEIS

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