The modal logic of continuous functions
β
Philip Kremer
π
Article
π
2010
π
Springer
π
English
β 160 KB