scientific article; zbMATH DE number 6932686

DOI10.23638/LMCS-14(3:10)2018MaRDI QIDQ4585073

Julian Jakob, Lutz Schröder, Christoph Rauch, Sergei S. Goncharov

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1405.0854

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebrarecursionresumptionscoinductioncomplete Elgot monad

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (3)

Unnamed Item ⋮ Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot ⋮ A metalanguage for guarded iteration

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monads for behaviour
• The coinductive resumption monad
• A coinductive calculus for asynchronous side-effecting processes
• Equational properties of iterative monads
• Notions of computation and monads
• Discrete Lawvere theories and computational effects
• Algebraically compact functors
• Introduction to extensive and distributive categories
• Fixed-point constructions in order-enriched categories
• Recursion and corecursion have the same equational logic
• Infinite trees and completely iterative theories: A coalgebraic view
• Complete Elgot monads and coalgebraic resumptions
• Combining effects: sum and tensor
• Strong functors and monoidal monads
• Nominal Sets
• Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
• Handling Algebraic Effects
• Unifying Guarded and Unguarded Iteration
• Elgot theories: a new perspective on the equational properties of iteration
• Introduction to distributive categories
• Generalizing Substitution
• A note on Coinduction and Weak Bisimilarity for While Programs
• Elgot Algebras
• Unguarded recursion on coinductive resumptions

This page was built for publication: