A Semantics for Hybrid Iteration

The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and th...

Full description

Saved in:

Bibliographic Details
Published in:	arXiv.org
Main Authors:	Goncharov, Sergey, Jakob, Julian, Neves, Renato
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 05.02.2019
Subjects:	Iterative methods Programming languages Semantics
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!