The following pages link to Noam Zeilberger (Q2133465):
Displayed 25 items.
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- Connected chord diagrams and bridgeless maps (Q2278114) (← links)
- On the unity of duality (Q2482843) (← links)
- Functors are Type Refinement Systems (Q2819783) (← links)
- Focusing and higher-order abstract syntax (Q3189855) (← links)
- A correspondence between rooted planar maps and normal planar lambda terms (Q3196354) (← links)
- (Q4625697) (← links)
- A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine (Q4635915) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- Sampling <i>β</i>-normal linear λ-terms (Q5046917) (← links)
- (Q5111331) (← links)
- A theory of linear typings as flows on 3-valent graphs (Q5145371) (← links)
- Linear lambda terms as invariants of rooted trivalent maps (Q5371978) (← links)
- Type refinement and monoidal closed bifibrations (Q6245263) (← links)
- Counting isomorphism classes of $\beta$-normal linear lambda terms (Q6265788) (← links)
- A sequent calculus for the Tamari order (Q6281795) (← links)
- A sequent calculus for a semi-associative law (Q6299644) (← links)
- Two Questions about the Fractional Counting of Partitions (Q6308976) (← links)
- Deductive Systems and Coherence for Skew Prounital Closed Categories (Q6357995) (← links)
- Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms (Q6370385) (← links)
- Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem (Q6420878) (← links)