Using coalgebras and the Giry monad for interpreting game logics - a tutorial

Ernst-Erich Doberkat. Using coalgebras and the Giry monad for interpreting game logics - a tutorial. Frontiers of Computer Science in China, 11(6):948-970, 2017. [doi]

Abstract

Abstract is missing.