Pirog, M., & Gibbons, J. (2014). Completely iterative monads in semantics of coinductive programs.
Dyfyniad Arddull ChicagoPirog, M., and J. Gibbons. Completely Iterative Monads in Semantics of Coinductive Programs. 2014.
Dyfyniad MLAPirog, M., and J. Gibbons. Completely Iterative Monads in Semantics of Coinductive Programs. 2014.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.