Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Link opens in a new tab
Search content at University of Birmingham
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Unguarded recursion on coinductive resumptions
Sergey Goncharov
, Christoph Rauch
, Lutz Schröder
, Julian Jakob
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Unguarded recursion on coinductive resumptions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Recursion
100%
Monads
100%
Monad Transformers
66%
Complete Elgot Monad
66%
Base Effect
66%
Transformer
33%
Free Operation
33%
Co-products
33%
Well-founded
33%
Guarded Iteration
33%
Cofree Coalgebra
33%
Computer Science
Recent Literature
100%
coalgebra
100%
Free Operation
100%
Engineering
Resumption
100%
Mathematics
Coproduct
100%