Noam Zeilberger

(Former)

1 - 10 out of 10Page size: 10

Publications

  1. 2019
  2. Published

    Connected chord diagrams and bridgeless maps

    Noam Zeilberger, 22 Nov 2019, In : The Electronic Journal of Combinatorics. 26, 4, p. 1-56 56 p., P4.37.

    Research output: Contribution to journal › Article

  3. 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 journal › Article

  4. 2018
  5. Published

    The sequent calculus of skew monoidal categories

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

    Research output: Contribution to journal › Article

  6. 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 proceeding › Conference contribution

  7. Published

    An Isbell Duality Theorem for Type Refinement Systems

    Noam Zeilberger, Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 736-774

    Research output: Contribution to journal › Article

  8. 2017
  9. 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 proceeding › Conference contribution

  10. 2016
  11. 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 journal › Article

  12. Published

    A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

    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 proceeding › Conference contribution

  13. 2015
  14. Published

    A correspondence between rooted planar maps and normal planar lambda terms

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

    Research output: Contribution to journal › Article

  15. Published

    Functors are Type Refinement Systems

    Noam Zeilberger, Jan 2015, In : ACM SIGPLAN Notices. 50, 1, p. 3-16 14 p.

    Research output: Contribution to journal › Article