Search results
From MaRDI portal
- String diagrams for free monads (functional pearl) 2017-05-10 Paper The coinductive resumption monad 2016-05-13 Paper Monads for behaviour 2016-04-12 Paper...10 bytes (16 words) - 08:07, 7 October 2023
- Paper The coinductive resumption monad 2016-05-13 Paper Monads for behaviour 2016-04-12 Paper Unifying Theories of Programming with Monads 2015-12-11 Paper...10 bytes (17 words) - 01:41, 10 December 2023
- mardi4nfdi.de/entity/Q4585073 2018-09-06 Paper Complete Elgot monads and coalgebraic resumptions 2018-04-23 Paper Unifying Guarded and Unguarded Iteration...10 bytes (16 words) - 09:23, 7 October 2023
- Inequivalence 2023-01-09 Paper Reiterman’s Theorem on Finite Algebras for a Monad 2022-12-08 Paper Coalgebraic semantics for nominal automata 2022-12-07 Paper...10 bytes (16 words) - 08:07, 7 October 2023
- asynchronous side-effecting processes 2014-01-16 Paper Exploring the Boundaries of Monad Tensorability on Set 2013-09-26 Paper Trace Semantics via Generic Observations...10 bytes (19 words) - 14:05, 10 December 2023
- asynchronous side-effecting processes 2014-01-16 Paper Exploring the Boundaries of Monad Tensorability on Set 2013-09-26 Paper Simulations and Bisimulations for Coalgebraic...10 bytes (17 words) - 16:53, 24 September 2023
- adjunction; string diagram; resumption monad Mathematics Subject Classification ID 18C20: Eilenberg-Moore and Kleisli constructions for monads...15 bytes (71 words) - 19:16, 2 February 2024
- transformation; monad; adjoint functor; universal property; Kleisli category; string diagram; Eilenberg-Moore category; free monad; resumption monad; 2-category...15 bytes (83 words) - 17:15, 25 April 2024
- Elgot algebra; complete Elgot monad; resumption monad; uniform iteration Mathematics Subject Classification ID 18C15: Monads (= standard construction, triple...15 bytes (77 words) - 07:44, 1 February 2024
- February 2023 zbMATH Keywords guarded iteration; coalgebraic resumptions; guarded monads Mathematics Subject Classification ID 68Qxx: Theory of computing...15 bytes (34 words) - 06:55, 7 March 2024
- Publication date: 11 July 2017 zbMATH Keywords monad; free object; resumptions; algebraic data types; module over monad Mathematics Subject Classification ID 68Q65:...15 bytes (49 words) - 21:47, 8 February 2024
- requirements, etc.) 18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads...15 bytes (87 words) - 02:58, 30 January 2024
- requirements, etc.) 18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads Uses Software pipes...15 bytes (91 words) - 02:46, 30 January 2024
- entcs.2015.12.012 zbMATH Keywords coalgebra; recursion; resumptions; coinduction; complete Elgot monad Mathematics Subject Classification ID 68N30: Mathematical...15 bytes (85 words) - 07:06, 7 March 2024
- org/abs/1405.0854 zbMATH Keywords coalgebra; recursion; resumptions; coinduction; complete Elgot monad Mathematics Subject Classification ID 03B70: Logic in...15 bytes (58 words) - 13:51, 7 February 2024
