17 citations · 55 across the 16 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 14 cited
Linear lambda terms as invariants of rooted trivalent maps
Noam Zeilberger
The main aim of the article is to give a simple and conceptual account for the correspondence (originally described by Bodini, Gardy, and Jacquot) between -equivalence classes o…
cs.LO2015★ 4 cited
Counting isomorphism classes of -normal linear lambda terms
Noam Zeilberger
Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating -normal li…
cs.LO2015
An Isbell Duality Theorem for Type Refinement Systems
Paul-André Melliès, Noam Zeilberger
Any refinement system (= functor) has a fully faithful representation in the refinement system of presheaves, by interpreting types as relative slice categories, and refinement typ…