default search action
Noam Zeilberger
Person information
- affiliation (since 2016): University of Birmingham, School of Computer Science, UK
- affiliation (2013 - 2016): INRIA, Palaiseau, France
- affiliation (2012 - 2013): Institute for Advanced Study, Princeton, NJ, USA
- affiliation (2011 - 2012): IMDEA Software, Madrid, Spain
- affiliation (2009 - 2011): Fondation Sciences Mathématiques de Paris, France
- affiliation (PhD 2009): Carnegie Mellon University, Pittsburgh, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i12]Anupam Das, Damiano Mazza, Lê Thành Dung Nguyên, Noam Zeilberger:
On the complexity of normalization for the planar λ-calculus. CoRR abs/2404.05276 (2024) - [i11]Paul-André Melliès, Noam Zeilberger:
The categorical contours of the Chomsky-Schützenberger representation theorem. CoRR abs/2405.14703 (2024) - 2023
- [c17]Nicolas Behr, Paul-André Melliès, Noam Zeilberger:
Convolution Products on Double Categories and Categorification of Rule Algebras. FSCD 2023: 17:1-17:20 - 2022
- [c16]Paul-André Melliès, Noam Zeilberger:
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem. MFPS 2022 - 2021
- [i10]Olivier Bodini, Alexandros Singh, Noam Zeilberger:
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms. CoRR abs/2106.08291 (2021) - 2020
- [c15]Nicolas Blanco, Noam Zeilberger:
Bifibrations of Polycategories and Classical Linear Logic. MFPS 2020: 29-52 - [c14]Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger:
Eilenberg-Kelly Reloaded. MFPS 2020: 233-256 - [c13]Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger:
Deductive Systems and Coherence for Skew Prounital Closed Categories. LFMTP 2020: 35-53 - [c12]Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger:
Proof Theory of Partially Normal Skew Monoidal Categories. ACT 2020: 230-246 - [i9]Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger:
The Sequent Calculus of Skew Monoidal Categories. CoRR abs/2003.05213 (2020)
2010 – 2019
- 2019
- [j6]Julien Courtiel, Karen A. Yeats, Noam Zeilberger:
Connected Chord Diagrams and Bridgeless Maps. Electron. J. Comb. 26(4): 4 (2019) - [j5]Noam Zeilberger:
A sequent calculus for a semi-associative law. Log. Methods Comput. Sci. 15(1) (2019) - 2018
- [j4]Paul-André Melliès, Noam Zeilberger:
An Isbell duality theorem for type refinement systems. Math. Struct. Comput. Sci. 28(6): 736-774 (2018) - [c11]Noam Zeilberger:
A theory of linear typings as flows on 3-valent graphs. LICS 2018: 919-928 - [c10]Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger:
The Sequent Calculus of Skew Monoidal Categories. MFPS 2018: 345-370 - [i8]Noam Zeilberger:
A sequent calculus for a semi-associative law. CoRR abs/1803.10080 (2018) - [i7]Noam Zeilberger:
A theory of linear typings as flows on 3-valent graphs. CoRR abs/1804.10540 (2018) - 2017
- [c9]Noam Zeilberger:
A Sequent Calculus for a Semi-Associative Law. FSCD 2017: 33:1-33:16 - [i6]Noam Zeilberger:
A sequent calculus for the Tamari order. CoRR abs/1701.02917 (2017) - 2016
- [j3]Noam Zeilberger:
Linear lambda terms as invariants of rooted trivalent maps. J. Funct. Program. 26: e21 (2016) - [c8]Paul-André Melliès, Noam Zeilberger:
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine. LICS 2016: 555-564 - [i5]Paul-André Melliès, Noam Zeilberger:
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine. CoRR abs/1601.06098 (2016) - 2015
- [j2]Noam Zeilberger, Alain Giorgetti:
A correspondence between rooted planar maps and normal planar lambda terms. Log. Methods Comput. Sci. 11(3) (2015) - [c7]Paul-André Melliès, Noam Zeilberger:
Functors are Type Refinement Systems. POPL 2015: 3-16 - [i4]Paul-André Melliès, Noam Zeilberger:
Isbell Duality for Refinement Types. CoRR abs/1501.05115 (2015) - [i3]Noam Zeilberger:
Counting isomorphism classes of $β$-normal linear lambda terms. CoRR abs/1509.07596 (2015) - [i2]Noam Zeilberger:
Linear lambda terms as invariants of rooted trivalent maps. CoRR abs/1512.06751 (2015) - 2013
- [i1]Paul-André Melliès, Noam Zeilberger:
Type refinement and monoidal closed bifibrations. CoRR abs/1310.0263 (2013) - 2010
- [c6]Noam Zeilberger:
Polarity and the Logic of Delimited Continuations. LICS 2010: 219-227
2000 – 2009
- 2009
- [c5]Noam Zeilberger:
Refinement types and computational duality. PLPV 2009: 15-26 - [c4]Robert Harper, Daniel R. Licata, Noam Zeilberger:
A Pronominal Approach to Binding and Computation. TLCA 2009: 3-4 - 2008
- [j1]Noam Zeilberger:
On the unity of duality. Ann. Pure Appl. Log. 153(1-3): 66-96 (2008) - [c3]Daniel R. Licata, Noam Zeilberger, Robert Harper:
Focusing on Binding and Computation. LICS 2008: 241-252 - [c2]Noam Zeilberger:
Focusing and higher-order abstract syntax. POPL 2008: 359-369 - 2007
- [c1]Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger:
Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint