Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)
暂无分享，去创建一个
[1] Nils Anders Danielsson. Operational semantics using the partiality monad , 2012, ICFP '12.
[2] Tadeusz Litak,et al. Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion , 2013, FICS.
[3] Bart Jacobs,et al. Coinductive Predicates and Final Sequences in a Fibration , 2013, MFPS.