Matteo Capucci

According to our database1, Matteo Capucci authored at least 15 papers between 2021 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification.
CoRR, May, 2026

Quantitative Linear Logic.
CoRR, May, 2026

Compositionality of Lyapunov functions via assume-guarantee reasoning.
CoRR, April, 2026

2025
A "good regulator theorem" for embodied agents.
CoRR, August, 2025

A Bayesian Interpretation of the Internal Model Principle.
CoRR, March, 2025

Quantifiers for Differentiable Logics in Rocq (Extended Abstract).
Proceedings of the AI Verification - Second International Symposium, 2025

2024
Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products.
CoRR, 2024

A Fibrational Theory of First Order Differential Structures.
CoRR, 2024

On Quantifiers for Quantitative Reasoning.
CoRR, 2024

Organizing Physics with Open Energy-Driven Systems.
Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, 2024

On a fibrational construction for optics, lenses, and Dialectica categories.
Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024

2022
Diegetic representation of feedback in open games.
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Lenses for Composable Servers.
CoRR, 2022

2021
Translating Extensive Form Games to Open Games with Agency.
Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Towards Foundations of Categorical Cybernetics.
Proceedings of the Fourth International Conference on Applied Category Theory, 2021


  Loading...