3 papers
cs.LO2025
Infinite Traces by Finality: a Sheaf-Theoretic Approach
Marco Peressotti
Kleisli categories have long been recognised as a setting for modelling the linear behaviour of various types of systems. However, the final coalgebra in such settings does not, in…
cs.SE2025
Software is infrastructure: failures, successes, costs, and the case for formal verification
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti +1
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of…
cs.DC2025
The Blind Men and the Elephant: Mapping Interdisciplinarity in Research on Decentralized Autonomous Organizations
Giorgia Sampò, Oliver Baumann, Marco Peressotti
Decentralized Autonomous Organizations (DAOs) are attracting interdisciplinary interest, particularly in business, economics, and computer science. However, much like the parable o…