Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. The Coinductive Resumption Monad Maciej Pir´og1 , Jeremy Gibbons2

First Page		Document Content
Date: 2015-10-05 08:25:46		Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. The Coinductive Resumption Monad Maciej Pir´og1 , Jeremy Gibbons2 Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 375,24 KB Share Document on Facebook