Noam Zeilberger

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 27

Top Topics

Lognormal Distribution

Sequent Calculus

Top Venues

Publications

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