Noam Zeilberger

Available identifiers

zbMath Open zeilberger.noamMaRDI QIDQ2133465

List of research outcomes

Publication	Date of Publication	Type
Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem	2022-12-18	Paper
Sampling β-normal linear λ-terms	2022-11-09	Paper
The sequent calculus of skew monoidal categories	2022-05-03	Paper
Bifibrations of polycategories and classical linear logic	2022-04-29	Paper
Eilenberg-Kelly reloaded	2022-04-29	Paper
Proof Theory of Partially Normal Skew Monoidal Categories	2022-01-10	Paper
The Sequent Calculus of Skew Monoidal Categories	2021-12-08	Paper
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms	2021-06-15	Paper
A theory of linear typings as flows on 3-valent graphs	2021-01-20	Paper
Deductive Systems and Coherence for Skew Prounital Closed Categories	2021-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5111331	2020-05-26	Paper
Connected chord diagrams and bridgeless maps	2019-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4625697	2019-02-25	Paper
Two Questions about the Fractional Counting of Partitions	2018-10-30	Paper
An Isbell duality theorem for type refinement systems	2018-05-17	Paper
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine	2018-04-23	Paper
A sequent calculus for a semi-associative law	2018-03-27	Paper
Linear lambda terms as invariants of rooted trivalent maps	2017-10-23	Paper
A sequent calculus for the Tamari order	2017-01-11	Paper
Functors are Type Refinement Systems	2016-09-29	Paper
A correspondence between rooted planar maps and normal planar lambda terms	2015-10-29	Paper
Counting isomorphism classes of $\beta$-normal linear lambda terms	2015-09-25	Paper
Focusing and higher-order abstract syntax	2014-09-12	Paper
Type refinement and monoidal closed bifibrations	2013-10-01	Paper
On the unity of duality	2008-04-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Noam Zeilberger