Document is current

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

Crossref DOI link: https://doi.org/10.1007/s11704-016-6155-5

Published Online: 2016-10-11

Published Print: 2017-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy