Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Asymptotic distribution of parameters in trivalent maps and linear lambda terms
Bodini, O., Singh, A. & Zeilberger, N., 1 Jan 2025, In: Combinatorial Theory. 5, 2Research output: Contribution to journal › Article › peer-review
Open Access -
THE CATEGORICAL CONTOURS OF THE CHOMSKY-SCHÜTZENBERGER REPRESENTATION THEOREM
Melliès, P. A. & Zeilberger, N., 1 Jan 2025, In: Logical Methods in Computer Science. 21, 2, p. 12:1-12:49Research output: Contribution to journal › Article › peer-review
Open Access -
Convolution Products on Double Categories and Categorification of Rule Algebras
Behr, N., Melliès, P. A. & Zeilberger, N., 1 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 260).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Deductive systems and coherence for skew prounital closed categories
Uustalu, T., Veltri, N. & Zeilberger, N., 12 Jan 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 332, p. 35-53 19 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Proof theory of partially normal skew monoidal categories
Uustalu, T., Veltri, N. & Zeilberger, N., 8 Feb 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 333, p. 230-246 17 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
The Sequent Calculus of Skew Monoidal Categories
Uustalu, T., Veltri, N. & Zeilberger, N., 1 Jan 2021, Outstanding Contributions to Logic. Springer Science and Business Media B.V., p. 377-406 30 p. (Outstanding Contributions to Logic; vol. 20).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Bifibrations of Polycategories and Classical Linear Logic
Blanco, N. & Zeilberger, N., 1 Oct 2020, In: Electronic Notes in Theoretical Computer Science. 352, p. 29-52 24 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Eilenberg-Kelly Reloaded
Uustalu, T., Veltri, N. & Zeilberger, N., 1 Oct 2020, In: Electronic Notes in Theoretical Computer Science. 352, p. 233-256 24 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A sequent calculus for a Semi-Associative law
Zeilberger, N., 1 Jan 2019, In: Logical Methods in Computer Science. 15, 1, p. 9:1-9:23Research output: Contribution to journal › Article › peer-review
Open Access -
Connected chord diagrams and bridgeless maps
Courtiel, J., Yeats, K. & Zeilberger, N., 1 Jan 2019, In: Electronic Journal of Combinatorics. 26, 4, P4.37.Research output: Contribution to journal › Article › peer-review
Open Access