Noam Zeilberger

(Former)

Publications

  1. 2015
  2. 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 journalArticlepeer-review

  3. 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 journalArticlepeer-review

  4. 2016
  5. 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 proceedingConference contribution

  6. 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 journalArticlepeer-review

  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. 2018
  10. 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 journalArticlepeer-review

  11. 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. (Symposium on Logic in Computer Science).

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

  12. 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 journalArticlepeer-review

  13. 2019
  14. 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 journalArticlepeer-review

  15. 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 journalArticlepeer-review