Towards a Structural Proof Theory of Probabilistic mu -Calculi. - Christophe Lucas; Matteo Mio (FoSSaCS, 2019)

Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. - Christophe Lucas; Matteo Mio (RAMiCS, 2021)

Proof Theory of Riesz Spaces and Modal Riesz Spaces. - Christophe Lucas; Matteo Mio (Log. Methods Comput. Sci., 2022)