Papers
- , "Intelligent Computer Mathematics, Proceedings of CICM 2025". 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (2026). [link]
- , "Interactions that reshape the interfaces of the interacting parties". (2026). arXiv:2602.17917 [link]
- , "Categories by Kan extension". (2025). arXiv:2503.21974
- , "Categorifying computable reducibilities". Logical Methods in Computer Science (LMCS) (2025). DOI:https://doi.org/10.46298/lmcs-21(1:15)2025 arXiv:2208.08656 [link]
- , "Classifying strict discrete opfibrations with lax morphisms". (2025). arXiv:2510.23531
- , "Dialectica Petri Nets". Fundamenta Informaticae Volume 194 (2025). arXiv:2105.12801 [link]
- , "Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches". (2025). arXiv:2510.23789
- , "Instances of models of double-categorical theories". (2025). arXiv:2510.08861
- , "Math Natural Language Inference: this should be easy!". (2025). arXiv:2507.23063
- , "Polynomial Functors: A Mathematical Theory of Interaction". Cambridge University Press (2025). DOI:https://doi.org/10.1017/9781009576734 arXiv:2312.00099
- , "Polynomial Universes and Dependent Types". Mathematical Foundations of Programming Semantics (2025). arXiv:2409.19176
- , "Porous Convection in the Discrete Exterior Calculus with Geometric Multigrid". (2025). arXiv:2508.12501
- , "Proceedings of the 5th Workshop on Natural Logic Meets Machine Learning (NALOMA)". ESSLLI 2025 (2025).
- , "The compact double category Int(Poly_*) models control flow and data transformations". (2025). arXiv:2509.05462
- , "Towards a double operadic theory of systems". (2025). arXiv:2505.18329
- , "Translations and Prawitz's Ecumenical System". Studia Logica, vol 113,2 (2025). [link]
- , "40th Conference on Mathematical Foundations of Programming Semantics". Mathematical Foundations of Programming Semantics (MFPS 2024) (2024).
- , "A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks". Compositionality (2024). DOI:10.32408/compositionality-6-2 arXiv:2301.01445
- , "Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems". American Control Conference (ACC 2024) (2024). arXiv:2305.03820
- , "A Compositional Framework for First-Order Optimization". (2024). arXiv:2403.05711
- , "A Polynomial Construction of Nerves for Higher Categories". (2024). arXiv:2405.13157
- , "A Toolchain for AI-Assisted Code Specification, Synthesis and Verification". (2024). [link]
- , "Bunge Festschrift: A special volume celebrating Marta Bunge's contributions to category theory". Theory and Applications of Categories (2024). [link]
- , "Cartesian double theories: A double-categorical framework for categorical doctrines". Advances in Mathematics (2024). DOI:10.1016/j.aim.2024.109630 arXiv:2310.05384
- , "Decapodes: A diagrammatic tool for representing, composing, and computing spatialized partial differential equations". Journal of Computational Science (2024). DOI:10.1016/j.jocs.2024.102345 arXiv:2401.17432
- , "Functorial Aggregation". Journal of Pure and Applied Algebra (2024). arXiv:2111.10968
- , "GATlab: Modeling and Programming with Generalized Algebraic Theories". Mathematical Foundations of Programming Semantics (MFPS 2024) (2024). arXiv:2404.04837
- , "Mathematical Entities: Corpora and Benchmarks". 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING) (2024). arXiv:2406.11577
- , "Organizing Physics with Open Energy-Driven Sys- tems". 7th Applied Category Theory conference (2024). arXiv:2404.16140
- , "Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad". 7th Applied Category Theory conference (2024). arXiv:2404.16321
- , "Products in double categories, revisited". (2024). arXiv:2401.08990
- , "Remembrances of Marta Bunge". Theory and Applications of Categories 40, 575-578 (2024).
- , "Representing Knowledge and Querying Data using Double-Functorial Semantics". Applied Category Theory 2024 (2024). arXiv:2403.19884
- , "Skolem, Gödel, and Hilbert fibrations". (2024). arXiv:2407.15765
- , "The diagrammatic presentation of equations in categories". (2024). arXiv:2401.09751
- , "Towards a Brazilian History Knowledge Graph". (2024). arXiv:https://arxiv.org/abs/2403.19856
- , "Translations and Prawitz's Ecumenical System". Studia Logica (2024). [link]
- , "Transposing cartesian and other structure in double categories". (2024). arXiv:2404.08835
- , "What kind of linearly distributive category do polynomial functors form?". (2024). arXiv:2407.01849
- , "A Categorical Representation Language and Computational System for Knowledge-Based Planning". 2023 AAAI Fall Symposium on Unifying Representations for Robot Application Development (2023). arXiv:2305.17208
- , "All Concepts are Cat^#". (2023). arXiv:2305.02571
- , "CALCO 2023 Proceedings". LIPIcs, Volume 270 (2023). [link]
- , "Capítulo 9 Semântica com Técnicas Simbólicas". (2023). [link]
- , "Computational category-theoretic rewriting". Journal of Logical and Algebraic Methods in Programming (2023). DOI:10.1016/j.jlamp.2023.100888 arXiv:2111.03784
- , "Dirichlet polynomials form a topos". The Graduate Journal of Mathematics (2023). arXiv:2003.04827
- , "Dynamic Tracing: a graphical language for rewriting protocols". (2023). arXiv:2304.14950
- , "Extracting Blockchain Concepts from Text". (2023). arXiv:2305.10408
- , "Extracting Mathematical Concepts with Large Language Models". (2023). arXiv:2309.00642
- , "MathGloss: Building mathematical glossaries from text". (2023). arXiv:2311.12649
- , "Parmesan: mathematical concept extraction for education". (2023). arXiv:2307.06699
- , "Preliminary Conversations Towards AI for the Global Good: The SCAI Questions". Proceedings of the Singapore Conference on AI for the Global Good, 4-6 December 2023, Singapore (2023). [link]
- , "Proceedings of the 4th Natural Logic Meets Machine Learning Workshop (NALOMA)". ACL Anthology (2023). [link]
- , "Structured and decorated cospans from the viewpoint of double category theory". Applied Category Theory 2023 (2023). DOI:10.4204/EPTCS.397.13 arXiv:2304.00447
- , "Structures on Categories of Polynomials". (2023). arXiv:2305.00167
- , "A diagrammatic view of differential equations in physics". Mathematics in Engineering (2022). DOI:10.3934/mine.2023036 arXiv:2204.01843
- , "An Algebraic Framework for Rapid Epidemic Modeling". Proceedings of the Royal Society A (2022). DOI:10.1098/rsta.2021.0309 arXiv:2203.16345
- , "Applied category theory in chemistry, computing, and social networks". Notices of the American Mathematical Society (2022). DOI:10.1090/noti2422 [link]
- , "Compositional Modeling with Stock and Flow Diagrams". Applied Category Theory 2022 (2022). DOI:10.4204/EPTCS.380.5 arXiv:2205.08373
- , "Computational category-theoretic rewriting". Proceedings of the 2022 International Conference on Graph Transformation (2022). DOI:10.1007/978-3-031-09843-7_9 arXiv:2111.03784
- , "Curing the SICK and other NLI maladies". Computational Linguistics (2022).
- , "Dialectica Logical Principles". International Symposium on Logical Foundations of Computer Science (2022). DOI:10.1007/978-3-030-93100-1_22 arXiv:2109.08064
- , "Dialectica Logical Principles: not only rules". Journal of Logic and Computation. (2022). DOI:10.1093/logcom/exac079
- , "Dialectica Principles via Gödel Doctrines". Theoretical Computer Science (2022). DOI:10.1016/j.tcs.2023.113692 arXiv:2205.07093
- , "Duoidal Structures for Compositional Dependence". (2022). arXiv:2210.01962
- , "Dynamic operads, dynamic categories: From deep learning to prediction markets". Applied Category Theory 2022 (2022). arXiv:2205.03906
- , "Enrichment of Algebraic Higher Categories". (2022). arXiv:2205.12235
- , "Extracting Mathematical Concepts from Text". 8th Workshop on Noisy User-generated Text (W-NUT) (2022). arXiv:2208.1383
- , "Fast Left Kan Extensions Using The Chase". Journal of Automated Reasoning (2022). DOI:10.1007/s10817-022-09634-2 arXiv:2205.02425
- , "Of Seringueiros and Sambistas: Occupation Mappings in Historical Text". 2nd DHandNLP (2022). [link]
- , "Polynomial functors and Shannon entropy". (2022). arXiv:2201.12878
- , "Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing". PROPOR (2022). [link]
- , "A reference for categorical structures on Poly". (2021). arXiv:2202.00534
- , "An ecumenical notion of entailment". Synthese 198 (Suppl 22), 5391-5413 (2021).
- , "Annotation Difficulties in Natural Language Inference". Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL) (2021). DOI:10.5753/stil.2021.17804
- , "Categorical Data Structures for Technical Computing". Compositionality (2021). DOI:10.32408/compositionality-4-5 arXiv:2106.04703
- , "Collectives: Compositional protocols for contributions and returns". (2021). arXiv:2112.11518
- , "Compositional Active Inference I: Bayesian Lenses. Statistical Games". (2021). arXiv:2109.04461
- , "Compositional Thermostatics". (2021). arXiv:2111.10315
- , "Deeply Interactive Learning Systems". SIAM News Blog (2021). arXiv:2111.01297 [link]
- , "Dialectica Comonads". 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) (2021). DOI:10.4230/LIPIcs.CALCO.2021.3
- , "Dialectica Petri Nets". (2021). arXiv:2105.12801
- , "Dirichlet polynomials and entropy". Entropy (2021). DOI:10.3390/e23081085 arXiv:2107.04832
- , "Duas Negações Ecumênicas". De Mathematicae atque Philosophicae Elegantia: Notas Festivas para Abel Lassalle Casanave (2021).
- , "Functorial aggregation". (2021). arXiv:2111.10968
- , "Graphical Regular Logic: the complete 2-dimensional picture". ACT21 (2021). [link]
- , "Intuitionistic Modal Logic and Applications". Journal of Applied Logics (2021). [link]
- , "Kolmogorov-Veloso Problems and Dialectica Categories". Chapter in book 'A Question is More Illuminating than an Answer. A Festschrift for Paulo A. S. Veloso' (2021). arXiv:2107.07854
- , "Learners’ languages". (2021). arXiv:2103.01189
- , "Operadic Modeling of Dynamical Systems: Mathematics and Computation". Applied Category Theory 2021 (2021). DOI:10.4204/EPTCS.372.14 arXiv:2105.12282
- , "Proceedings of 2020 Joint Workshop Linearity & Trends on Linear Logic and Applications". Summer of LoVE (Logic and Verification), Paris, France, online (2021). DOI:10.4204/EPTCS.353 arXiv:2112.14305 [link]
- , "Some Notions of (Open) Dynamical System on Polynomial Interfaces". (2021). arXiv:2108.11137
- , "Temporal Landscapes: A Graphical Logic of Behavior". ACT21 (2021). arXiv:1904.01081 [link]
- , "The Gödel Fibration". 46th International Symposium on Mathematical Foundations of Computer Science (2021). DOI:10.4230/LIPIcs.MFCS.2021.87 arXiv:2104.14021
- , "Towards FraCaS-BR". OpenCor (2021). [link]
- , "Deriving Theorems in Implicational Linear Logic, Declaratively". EPTCS (2020). DOI:10.4204/EPTCS.325.18 arXiv:2009.10241
No matching items