A correspondence between rooted planar maps and normal planar lambda terms
From MaRDI portal
Publication:3196354
DOI10.2168/LMCS-11(3:22)2015zbMath1448.03010arXiv1408.5028OpenAlexW1954279992MaRDI QIDQ3196354
Noam Zeilberger, Alain Giorgetti
Publication date: 29 October 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.5028
Functional programming and lambda calculus (68N18) Enumeration in graph theory (05C30) Planar graphs; geometric and topological aspects of graph theory (05C10) Coloring of graphs and hypergraphs (05C15) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Asymptotic Distribution of Parameters in Random Maps ⋮ Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ On some enumerative problems in lambda calculus ⋮ Linear lambda terms as invariants of rooted trivalent maps ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
This page was built for publication: A correspondence between rooted planar maps and normal planar lambda terms
