Search results
From MaRDI portal
- interval systems andPR-groups 2015-11-30 Paper Double Adjunctions and Free Monads 2014-01-03 Paper Incorporating Voice Permutations into the Theory of Neo-Riemannian...10 bytes (18 words) - 05:44, 12 December 2023
- III: Lifting of monads and adjoint functors 1980-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3887626 1979-01-01 Paper Free monads and the orthogonal...10 bytes (16 words) - 10:04, 24 September 2023
- Paper Double Adjunctions and Free Monads 2014-01-03 Paper Polynomial functors and polynomial monads 2013-01-15 Paper Monads in double categories 2011-04-29...10 bytes (17 words) - 05:44, 12 December 2023
- Paper 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...10 bytes (16 words) - 08:07, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5275357 2017-07-11 Paper String diagrams for free monads (functional pearl) 2017-05-10 Paper Folding domain-specific languages...10 bytes (16 words) - 03:05, 25 September 2023
- functions in bialgebras of trees. 2014-04-15 Paper Double Adjunctions and Free Monads 2014-01-03 Paper Coherence for weak units 2013-04-17 Paper Local fibred...10 bytes (16 words) - 02:20, 10 December 2023
- dependent types 2016-11-30 Paper Free theorems in the presence of seq 2015-11-11 Paper Concatenate, reverse and map vanish for free 2015-10-07 Paper Bidirectionalization...10 bytes (16 words) - 10:58, 6 October 2023
- their monads 2020-12-30 Paper On well-founded and recursive coalgebras 2020-09-23 Paper Eilenberg Theorems for Free 2020-05-26 Paper How nice are free completions...10 bytes (17 words) - 11:43, 8 December 2023
- Positive Fragments of Coalgebraic Logics 2013-09-13 Paper On Rational Monads and Free Iterative Theories 2013-08-16 Paper Final Coalgebras And a Solution...10 bytes (17 words) - 04:09, 25 September 2023
- iterative monads 2005-03-08 Paper On coalgebra based on classes 2004-08-04 Paper Some remarks on finitary and iterative monads 2004-01-06 Paper Free iterative...10 bytes (16 words) - 08:07, 7 October 2023
- SHEAVES 2015-05-08 Paper MONADS FOR FRAMED TORSION-FREE SHEAVES ON MULTI-BLOW-UPS OF THE PROJECTIVE PLANE 2014-04-15 Paper Monad constructions of omalous...10 bytes (18 words) - 19:12, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q3553225 2010-04-22 Paper Metrization of free groups on ultrametric spaces 2010-03-08 Paper Spaces of idempotent measures...10 bytes (18 words) - 21:21, 9 December 2023
- 2015-07-01 Paper Minimal free resolutions of the 𝐺-parking function ideal and the toppling ideal 2015-02-02 Paper Corrigendum: Filtering free resolutions 2014-10-31...10 bytes (19 words) - 15:47, 11 December 2023
- Natural Alternative to Mostowski's (MFL) 1977-01-01 Paper A note on universally free description theory 1975-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5656748...10 bytes (18 words) - 22:55, 12 December 2023
- parallel design-space exploration on GPUs 2017-10-23 Paper Adaptive lock-free maps: purely-functional to scalable 2017-05-10 Paper Efficient communication...10 bytes (18 words) - 18:14, 6 October 2023
- on Finite Algebras for a Monad 2022-12-08 Paper An algebraic theory for data linkage 2020-06-08 Paper Eilenberg Theorems for Free 2020-05-26 Paper A Fibrational...10 bytes (18 words) - 00:44, 25 September 2023
- Publication Date of Publication Type Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota–Baxter...10 bytes (18 words) - 11:30, 12 December 2023
- Publication Date of Publication Type A point-free perspective on lax extensions and predicate liftings 2024-03-05 Paper Kantorovich functors and characteristic...10 bytes (17 words) - 07:56, 9 December 2023
- de/entity/Q5079760 2022-05-28 Paper The linear-non-linear substitution 2-monad 2022-01-10 Paper PSPACE-completeness of a thread criterion for circular proofs...10 bytes (16 words) - 09:50, 6 October 2023
- Boij-Söderberg theory and invariants of free complexes 2017-09-08 Paper 3264 and All That 2016-04-04 Paper Minimal free resolutions over complete intersections...10 bytes (17 words) - 13:44, 11 December 2023
