2 citations · 3 across the 4 of their papers we have counts for
4 papers
Emergent Behaviour in Financial Markets
Omar Inverso, Emilio Tuosto, Dragisa Zunic
Some properties of so-called complex or collective systems can be observed to emerge from the interactions of elementary agents. This phenomenon, known as emergent behaviour, has l…
Fundamental market design as a layer of AI-agent alignment
Omar Inverso, Emilio Tuosto, Dragisa Zunic
This paper argues that AI-agent alignment in markets should not be understood only as a property of agents, but also as a property of the interaction infrastructure in which agents…
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Iliano Cervesato, Sharjeel Khan, Giselle Reis +1
We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which…
Computational interpretation of classical logic with explicit structural rules
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contractio…