8 citations · 9 across the 3 of their papers we have counts for
6 papers
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
Olivier Bodini, Alexandros Singh, Noam Zeilberger
Structural properties of large random maps and lambda-terms may be gleaned by studying the limit distributions of various parameters of interest. In our work we focus on restricted…
Proof Theory of Partially Normal Skew Monoidal Categories
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
The skew monoidal categories of Szlachányi are a weakening of monoidal categories where the three structural laws of left and right unitality and associativity are not required to…
Deductive Systems and Coherence for Skew Prounital Closed Categories
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew c…
The Sequent Calculus of Skew Monoidal Categories
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
Szlachányi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but mer…
Two Questions about the Fractional Counting of Partitions
Doron Zeilberger, Noam Zeilberger
We recall the notion of fractional enumeration and immediately focus on the fractional counting of integer partitions, where each partition gets credit equal to the reciprocal of t…
A theory of linear typings as flows on 3-valent graphs
Noam Zeilberger
Building on recently established enumerative connections between lambda calculus and the theory of embedded graphs (or "maps"), this paper develops an analogy between typing (of la…