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

{{article.zuoZheEn}}

PDF(441 KB)
PDF(441 KB)
Front. Comput. Sci. ›› 2017, Vol. 11 ›› Issue (6) : 948-970. DOI: 10.1007/s11704-016-6155-5
TUTORIAL

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

  • {{article.zuoZheEn}}
Author information +
History +

Highlights

{{article.highlightEn}}

Abstract

{{article.abstractEn}}

Author summary

{{article.authorSummayEn}}

Keywords

Cite this article

Download citation ▾
{{article.zuoZheEn_L}}. {{article.titleEn}}. Front. Comput. Sci., 2017, 11(6): 948‒970 https://doi.org/10.1007/s11704-016-6155-5

References

References

{{article.reference}}

RIGHTS & PERMISSIONS

{{article.copyright.year}} {{article.copyright.holder}}
PDF(441 KB)

Accesses

Citations

Detail

Sections
Recommended

/