Linear lambda terms as invariants of rooted trivalent maps

DOI10.1017/S095679681600023XzbMath1420.68050arXiv1512.06751OpenAlexW2278483746MaRDI 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

Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Coloring of graphs and hypergraphs (05C15) Asymptotic enumeration (05A16) Combinatory logic and lambda calculus (03B40)

Related Items (6)

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 ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Linear lambda terms as invariants of rooted trivalent maps