Noam Zeilberger

38 papers A* 6A 1B 6Journal 21Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Asymptotic distribution of parameters in trivalent maps and linear lambda terms.
Comb. Theory
Olivier Bodini, Alexandros Singh, Noam Zeilberger
2025 J jnl
The categorical contours of the Chomsky-Sch\"utzenberger representation theorem.
Log. Methods Comput. Sci.
Paul-André Melliès, Noam Zeilberger
2025 J jnl
The free bifibration on a functor.
CoRR
Bryce Clarke, Gabriel Scherer, Noam Zeilberger
2024 J jnl
On the complexity of normalization for the planar λ-calculus.
CoRR
Anupam Das, Damiano Mazza, Lê Thành Dung Nguyên, Noam Zeilberger
2024 J jnl
The categorical contours of the Chomsky-Schützenberger representation theorem.
CoRR
Paul-André Melliès, Noam Zeilberger
2023 B conf
Convolution Products on Double Categories and Categorification of Rule Algebras.
FSCD
Nicolas Behr, Paul-André Melliès, Noam Zeilberger
2022 B conf
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem.
MFPS
Paul-André Melliès, Noam Zeilberger
2021 J jnl
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms.
CoRR
Olivier Bodini, Alexandros Singh, Noam Zeilberger
2020 B conf
Bifibrations of Polycategories and Classical Linear Logic.
MFPS
Nicolas Blanco, Noam Zeilberger
2020 — conf
Deductive Systems and Coherence for Skew Prounital Closed Categories.
LFMTP
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2020 B conf
Eilenberg-Kelly Reloaded.
MFPS
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2020 — conf
Proof Theory of Partially Normal Skew Monoidal Categories.
ACT
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2020 J jnl
The Sequent Calculus of Skew Monoidal Categories.
CoRR
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2019 J jnl
A sequent calculus for a semi-associative law.
Log. Methods Comput. Sci.
Noam Zeilberger
2019 J jnl
Connected Chord Diagrams and Bridgeless Maps.
Electron. J. Comb.
Julien Courtiel, Karen A. Yeats, Noam Zeilberger
2018 J jnl
A sequent calculus for a semi-associative law.
CoRR
Noam Zeilberger
2018 A* conf
A theory of linear typings as flows on 3-valent graphs.
LICS
Noam Zeilberger
2018 J jnl
A theory of linear typings as flows on 3-valent graphs.
CoRR
Noam Zeilberger
2018 J jnl
An Isbell duality theorem for type refinement systems.
Math. Struct. Comput. Sci.
Paul-André Melliès, Noam Zeilberger
2018 B conf
The Sequent Calculus of Skew Monoidal Categories.
MFPS
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2017 B conf
A Sequent Calculus for a Semi-Associative Law.
FSCD
Noam Zeilberger
2017 J jnl
A sequent calculus for the Tamari order.
CoRR
Noam Zeilberger
2016 A* conf
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine.
LICS
Paul-André Melliès, Noam Zeilberger
2016 J jnl
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine.
CoRR
Paul-André Melliès, Noam Zeilberger
2016 J jnl
Linear lambda terms as invariants of rooted trivalent maps.
J. Funct. Program.
Noam Zeilberger
2015 J jnl
A correspondence between rooted planar maps and normal planar lambda terms.
Log. Methods Comput. Sci.
Noam Zeilberger, Alain Giorgetti
2015 J jnl
Counting isomorphism classes of $β$-normal linear lambda terms.
CoRR
Noam Zeilberger
2015 A* conf
Functors are Type Refinement Systems.
POPL
Paul-André Melliès, Noam Zeilberger
2015 J jnl
Isbell Duality for Refinement Types.
CoRR
Paul-André Melliès, Noam Zeilberger
2015 J jnl
Linear lambda terms as invariants of rooted trivalent maps.
CoRR
Noam Zeilberger
2013 J jnl
Type refinement and monoidal closed bifibrations.
CoRR
Paul-André Melliès, Noam Zeilberger
2010 A* conf
Polarity and the Logic of Delimited Continuations.
LICS
Noam Zeilberger
2009 — conf
A Pronominal Approach to Binding and Computation.
TLCA
Robert Harper, Daniel R. Licata, Noam Zeilberger
2009 — conf
Refinement types and computational duality.
PLPV
Noam Zeilberger
2008 A* conf
Focusing and higher-order abstract syntax.
POPL
Noam Zeilberger
2008 A* conf
Focusing on Binding and Computation.
LICS
Daniel R. Licata, Noam Zeilberger, Robert Harper
2008 J jnl
On the unity of duality.
Ann. Pure Appl. Log.
Noam Zeilberger
2007 A conf
Model-Driven Construction of Certified Binaries.
MoDELS
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger