Christophe Lucas

According to our database, Christophe Lucas authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Proof Theory of Riesz Spaces and Modal Riesz Spaces.

Christophe Lucas, Matteo Mio

Log. Methods Comput. Sci., 2022

2021

Free Modal Riesz Spaces are Archimedean: A Syntactic Proof.

Christophe Lucas, Matteo Mio

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2019

Towards a Structural Proof Theory of Probabilistic \mu -Calculi.

Christophe Lucas, Matteo Mio

Proceedings of the Foundations of Software Science and Computation Structures, 2019