Model-Driven Construction of Certified Binaries. - Sagar Chaki; James Ivers; Peter Lee 001; Kurt C. Wallnau; Noam Zeilberger (MoDELS, 2007)

Focusing on Binding and Computation. - Daniel R. Licata; Noam Zeilberger; Robert Harper 001 (LICS, 2008)

Focusing and higher-order abstract syntax. - Noam Zeilberger (POPL, 2008)

On the unity of duality. - Noam Zeilberger (Ann. Pure Appl. Log., 2008)

Refinement types and computational duality. - Noam Zeilberger (PLPV, 2009)

A Pronominal Approach to Binding and Computation. - Robert Harper 001; Daniel R. Licata; Noam Zeilberger (TLCA, 2009)

Polarity and the Logic of Delimited Continuations. - Noam Zeilberger (LICS, 2010)

Type refinement and monoidal closed bifibrations. - Paul-André Melliès; Noam Zeilberger (CoRR, 2013)

Functors are Type Refinement Systems. - Paul-André Melliès; Noam Zeilberger (POPL, 2015)

Isbell Duality for Refinement Types. - Paul-André Melliès; Noam Zeilberger (CoRR, 2015)

Counting isomorphism classes of $β$-normal linear lambda terms. - Noam Zeilberger (CoRR, 2015)

A correspondence between rooted planar maps and normal planar lambda terms. - Noam Zeilberger; Alain Giorgetti (Log. Methods Comput. Sci., 2015)

A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine. - Paul-André Melliès; Noam Zeilberger (LICS, 2016)

Linear lambda terms as invariants of rooted trivalent maps. - Noam Zeilberger (J. Funct. Program., 2016)

A sequent calculus for the Tamari order. - Noam Zeilberger (CoRR, 2017)

A theory of linear typings as flows on 3-valent graphs. - Noam Zeilberger (LICS, 2018)

The Sequent Calculus of Skew Monoidal Categories. - Tarmo Uustalu; Niccolò Veltri; Noam Zeilberger (MFPS, 2018)

An Isbell duality theorem for type refinement systems. - Paul-André Melliès; Noam Zeilberger (Math. Struct. Comput. Sci., 2018)

Connected Chord Diagrams and Bridgeless Maps. - Julien Courtiel; Karen A. Yeats; Noam Zeilberger (Electron. J. Comb., 2019)

A sequent calculus for a semi-associative law. - Noam Zeilberger (Log. Methods Comput. Sci., 2019)

Bifibrations of Polycategories and Classical Linear Logic. - Nicolas Blanco; Noam Zeilberger (MFPS, 2020)

Eilenberg-Kelly Reloaded. - Tarmo Uustalu; Niccolò Veltri; Noam Zeilberger (MFPS, 2020)

Deductive Systems and Coherence for Skew Prounital Closed Categories. - Tarmo Uustalu; Niccolò Veltri; Noam Zeilberger (LFMTP, 2020)

Proof Theory of Partially Normal Skew Monoidal Categories. - Tarmo Uustalu; Niccolò Veltri; Noam Zeilberger (ACT, 2020)

Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem. - Paul-André Melliès; Noam Zeilberger (MFPS, 2022)

Convolution Products on Double Categories and Categorification of Rule Algebras. - Nicolas Behr; Paul-André Melliès; Noam Zeilberger (FSCD, 2023)

On the complexity of normalization for the planar λ-calculus. - Anupam Das; Damiano Mazza; Lê Thành Dung Nguyên; Noam Zeilberger (CoRR, 2024)

The categorical contours of the Chomsky-Schützenberger representation theorem. - Paul-André Melliès; Noam Zeilberger (CoRR, 2024)

Asymptotic distribution of parameters in trivalent maps and linear lambda terms. - Olivier Bodini; Alexandros Singh; Noam Zeilberger (Comb. Theory, 2025)

The categorical contours of the Chomsky-Sch "utzenberger representation theorem. - Paul-André Melliès; Noam Zeilberger (Log. Methods Comput. Sci., 2025)