Noam Zeilberger

From MaRDI portal
Person:2133465

Available identifiers

zbMath Open zeilberger.noamMaRDI QIDQ2133465

List of research outcomes





PublicationDate of PublicationType
Convolution products on double categories and categorification of rule algebras2024-10-21Paper
Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem2022-12-18Paper
Sampling β-normal linear λ-terms2022-11-09Paper
The sequent calculus of skew monoidal categories2022-05-03Paper
Eilenberg-Kelly reloaded2022-04-29Paper
Bifibrations of polycategories and classical linear logic2022-04-29Paper
Proof Theory of Partially Normal Skew Monoidal Categories2022-01-10Paper
The Sequent Calculus of Skew Monoidal Categories2021-12-08Paper
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms2021-06-15Paper
A theory of linear typings as flows on 3-valent graphs2021-01-20Paper
Deductive Systems and Coherence for Skew Prounital Closed Categories2021-01-11Paper
https://portal.mardi4nfdi.de/entity/Q51113312020-05-26Paper
Connected chord diagrams and bridgeless maps2019-12-09Paper
https://portal.mardi4nfdi.de/entity/Q46256972019-02-25Paper
Two Questions about the Fractional Counting of Partitions2018-10-30Paper
An Isbell duality theorem for type refinement systems2018-05-17Paper
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine2018-04-23Paper
A sequent calculus for a semi-associative law2018-03-27Paper
Linear lambda terms as invariants of rooted trivalent maps2017-10-23Paper
A sequent calculus for the Tamari order2017-01-11Paper
Functors are type refinement systems2016-09-29Paper
A correspondence between rooted planar maps and normal planar lambda terms2015-10-29Paper
Counting isomorphism classes of $\beta$-normal linear lambda terms2015-09-25Paper
Focusing and higher-order abstract syntax2014-09-12Paper
Type refinement and monoidal closed bifibrations2013-10-01Paper
On the unity of duality2008-04-24Paper

Research outcomes over time

This page was built for person: Noam Zeilberger