Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Asymptotic distribution of parameters in trivalent maps and linear lambda terms
Bodini, O., Singh, A. & Zeilberger, N., 1 janv. 2025, Dans: Combinatorial Theory. 5, 2Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
THE CATEGORICAL CONTOURS OF THE CHOMSKY-SCHÜTZENBERGER REPRESENTATION THEOREM
Melliès, P. A. & Zeilberger, N., 1 janv. 2025, Dans: Logical Methods in Computer Science. 21, 2, p. 12:1-12:49Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Convolution Products on Double Categories and Categorification of Rule Algebras
Behr, N., Melliès, P. A. & Zeilberger, N., 1 juin 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Deductive systems and coherence for skew prounital closed categories
Uustalu, T., Veltri, N. & Zeilberger, N., 12 janv. 2021, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 332, p. 35-53 19 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Proof theory of partially normal skew monoidal categories
Uustalu, T., Veltri, N. & Zeilberger, N., 8 févr. 2021, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 333, p. 230-246 17 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
The Sequent Calculus of Skew Monoidal Categories
Uustalu, T., Veltri, N. & Zeilberger, N., 1 janv. 2021, Outstanding Contributions to Logic. Springer Science and Business Media B.V., p. 377-406 30 p. (Outstanding Contributions to Logic; Vol 20).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs
-
Bifibrations of Polycategories and Classical Linear Logic
Blanco, N. & Zeilberger, N., 1 oct. 2020, Dans: Electronic Notes in Theoretical Computer Science. 352, p. 29-52 24 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Eilenberg-Kelly Reloaded
Uustalu, T., Veltri, N. & Zeilberger, N., 1 oct. 2020, Dans: Electronic Notes in Theoretical Computer Science. 352, p. 233-256 24 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A sequent calculus for a Semi-Associative law
Zeilberger, N., 1 janv. 2019, Dans: Logical Methods in Computer Science. 15, 1, p. 9:1-9:23Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Connected chord diagrams and bridgeless maps
Courtiel, J., Yeats, K. & Zeilberger, N., 1 janv. 2019, Dans: Electronic Journal of Combinatorics. 26, 4, P4.37.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert