Noam Zeilberger

Orcid: 0000-0002-5945-4184

Affiliations:
  • University of Birmingham, School of Computer Science, UK (since 2016)
  • INRIA, Palaiseau, France (2013 - 2016)
  • Institute for Advanced Study, Princeton, NJ, USA (2012 - 2013)
  • IMDEA Software, Madrid, Spain (2011 - 2012)
  • Fondation Sciences Mathématiques de Paris, France (2009 - 2011)
  • Carnegie Mellon University, Pittsburgh, PA, USA (PhD 2009)


According to our database1, Noam Zeilberger authored at least 29 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The categorical contours of the Chomsky-Schützenberger representation theorem.
CoRR, 2024

On the complexity of normalization for the planar λ-calculus.
CoRR, 2024

2023
Convolution Products on Double Categories and Categorification of Rule Algebras.
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms.
CoRR, 2021

2020
Proof Theory of Partially Normal Skew Monoidal Categories.
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Deductive Systems and Coherence for Skew Prounital Closed Categories.
Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020

Eilenberg-Kelly Reloaded.
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Bifibrations of Polycategories and Classical Linear Logic.
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

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

Connected Chord Diagrams and Bridgeless Maps.
Electron. J. Comb., 2019

2018
An Isbell duality theorem for type refinement systems.
Math. Struct. Comput. Sci., 2018

The Sequent Calculus of Skew Monoidal Categories.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

A theory of linear typings as flows on 3-valent graphs.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017
A sequent calculus for the Tamari order.
CoRR, 2017

2016
Linear lambda terms as invariants of rooted trivalent maps.
J. Funct. Program., 2016

A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015
A correspondence between rooted planar maps and normal planar lambda terms.
Log. Methods Comput. Sci., 2015

Counting isomorphism classes of $β$-normal linear lambda terms.
CoRR, 2015

Isbell Duality for Refinement Types.
CoRR, 2015

Functors are Type Refinement Systems.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013
Type refinement and monoidal closed bifibrations.
CoRR, 2013

2010
Polarity and the Logic of Delimited Continuations.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009
A Pronominal Approach to Binding and Computation.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Refinement types and computational duality.
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2008
On the unity of duality.
Ann. Pure Appl. Log., 2008

Focusing and higher-order abstract syntax.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Focusing on Binding and Computation.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007
Model-Driven Construction of Certified Binaries.
Proceedings of the Model Driven Engineering Languages and Systems, 2007


  Loading...