activity
20132025
most citedA correspondence between rooted planar maps and normal planar lambda terms

17 citations · 55 across the 16 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

math.CO2016

Connected chord diagrams and bridgeless maps

Julien Courtiel, Karen Yeats, Noam Zeilberger

We present a surprisingly new connection between two well-studied combinatorial classes: rooted connected chord diagrams on one hand, and rooted bridgeless combinatorial maps on th…

cs.LO2016★ 2 cited

A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Paul-André Melliès, Noam Zeilberger

Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and f…