Noam Zeilberger

Publications

  1. 2019
  2. Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 5 Feb 2019, In : Logical Methods in Computer Science. 15, 1, p. 9:1-9:23 23 p., 9.

    Research output: Contribution to journalArticle

  3. 2018
  4. Published

    The sequent calculus of skew monoidal categories

    Uustalu, T., Veltri, N. & Noam Zeilberger, 1 Dec 2018, In : Electronic Notes in Theoretical Computer Science. 341, p. 345-370 26 p.

    Research output: Contribution to journalArticle

  5. Published

    A theory of linear typings as flows on 3-valent graphs

    Noam Zeilberger, 9 Jul 2018, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: Association for Computing Machinery (ACM), p. 919-928 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    An Isbell Duality Theorem for Type Refinement Systems

    Melliès, P-A. & Noam Zeilberger, Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 736-774

    Research output: Contribution to journalArticle

  7. 2017
  8. Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 10 Sep 2017, Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Schloss Dagstuhl, Vol. 84. p. 33:1-33:16 16 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. 2016
  10. E-pub ahead of print

    Linear lambda terms as invariants of rooted trivalent maps

    Noam Zeilberger, 4 Nov 2016, In : Journal of Functional Programming. 26, 20 p., e21.

    Research output: Contribution to journalArticle

  11. Published

    A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

    Melliès, P-A. & Noam Zeilberger, 5 Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '16). New York, NY: Association for Computing Machinery (ACM), p. 555-564 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 2015
  13. Published

    A correspondence between rooted planar maps and normal planar lambda terms

    Noam Zeilberger & Giorgetti, A., 25 Sep 2015, In : Logical Methods in Computer Science. 11, 3, p. 1-39 39 p.

    Research output: Contribution to journalArticle

  14. Published

    Functors are Type Refinement Systems

    Melliès, P-A. & Noam Zeilberger, Jan 2015, In : ACM SIGPLAN Notices. 50, 1, p. 3-16 14 p.

    Research output: Contribution to journalArticle