首页    期刊浏览 2024年11月09日 星期六
登录注册

文章基本信息

  • 标题:Unguarded Recursion on Coinductive Resumptions
  • 本地全文:下载
  • 作者:Jakob, Julian ; Rauch, Christoph ; Schröder, Lutz
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2018
  • 卷号:14
  • 期号:3
  • DOI:10.23638/LMCS-14(3:10)2018
  • 语种:English
  • 出版社:Technical University of Braunschweig
  • 摘要:We study a model of side-effecting processes obtained by starting from amonad modelling base effects and adjoining free operations using a cofreecoalgebra construction; one thus arrives at what one may think of as types ofnon-wellfounded side-effecting trees, generalizing the infinite resumptionmonad. Correspondingly, the arising monad transformer has been termed thecoinductive generalized resumption transformer. Monads of this kind havereceived some attention in the recent literature; in particular, it has beenshown that they admit guarded iteration. Here, we show that they also admitunguarded iteration, i.e. form complete Elgot monads, provided that theunderlying base effect supports unguarded iteration. Moreover, we provide auniversal characterization of the coinductive resumption monad transformer interms of coproducts of complete Elgot monads.
  • 关键词:Computer Science - Logic in Computer Science;F.3.2;F.3.3;D.3.3
国家哲学社会科学文献中心版权所有