Noam Zeilberger
(Former)
Publications
- 2019
- 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 › peer-review
- 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 › peer-review
- 2018
- 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 › peer-review
- 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 proceeding › Conference contribution
- Published
An Isbell Duality Theorem for Type Refinement Systems
Noam Zeilberger, Jun 2018, In: Mathematical Structures in Computer Science. 28, 6, p. 736-774Research output: Contribution to journal › Article › peer-review
- 2017
- 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
- 2016
- 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 › peer-review
- 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
- 2015
- 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 › peer-review
- 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 › peer-review