Proof Theory of Riesz Spaces and Modal Riesz Spaces
Lucas, Christophe ; Mio, Matteo
Logical methods in computer science, 2022-02, Vol.18, Issue 1
[Periódico revisado por pares]
Logical Methods in Computer Science Association
Texto completo disponível