Publication | Date of Publication | Type |
---|
Canonical Gradings of Monads | 2024-03-05 | Paper |
Sweedler theory of monads | 2024-01-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q6068935 | 2023-12-15 | Paper |
A type system with subtyping for WebAssembly's stack polymorphism | 2023-07-28 | Paper |
Flexibly graded monads and graded algebras | 2023-06-30 | Paper |
Decomposing Comonad Morphisms. | 2023-02-03 | Paper |
Reordering Derivatives of Trace Closures of Regular Languages. | 2023-02-03 | Paper |
Partiality and Container Monads | 2022-12-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5089020 | 2022-07-18 | Paper |
Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus | 2022-05-25 | Paper |
The sequent calculus of skew monoidal categories | 2022-05-03 | Paper |
Eilenberg-Kelly reloaded | 2022-04-29 | Paper |
Proof Theory of Partially Normal Skew Monoidal Categories | 2022-01-10 | Paper |
The Sequent Calculus of Skew Monoidal Categories | 2021-12-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5013829 | 2021-12-02 | Paper |
Directed Containers as Categories | 2021-12-02 | Paper |
Operational semantics with semicommutations | 2021-08-03 | Paper |
Algebraic and coalgebraic perspectives on interaction laws | 2021-07-08 | Paper |
Coherence for Skew-Monoidal Categories | 2021-06-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q5854739 | 2021-03-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4964699 | 2021-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4963901 | 2021-02-24 | Paper |
Interaction Laws of Monads and Comonads | 2021-01-21 | Paper |
Deductive Systems and Coherence for Skew Prounital Closed Categories | 2021-01-11 | Paper |
Relative Monads Formalised | 2019-09-18 | Paper |
Formalizing Restriction Categories | 2019-09-18 | Paper |
Quotienting the delay monad by weak bisimilarity | 2018-12-04 | Paper |
Codensity Lifting of Monads and its Dual | 2018-11-02 | Paper |
A proof-theoretic study of bi-intuitionistic propositional sequent calculus | 2018-09-28 | Paper |
Container combinatorics: monads and lax monoidal functors | 2018-02-16 | Paper |
The delay monad and restriction categories | 2017-11-03 | Paper |
Finiteness and rational sequences, constructively | 2017-10-23 | Paper |
Combining effects and coeffects via grading | 2017-05-10 | Paper |
Update Monads: Cointerpreting Directed Containers | 2017-03-13 | Paper |
Stateful runners of effectful computations | 2016-12-16 | Paper |
A divertimento on MonadPlus and nondeterminism | 2016-12-15 | Paper |
A Coalgebraic View of Bar Recursion and Bar Induction | 2016-06-10 | Paper |
Coalgebraic update lenses | 2016-05-13 | Paper |
Quotienting the Delay Monad by Weak Bisimilarity | 2016-02-25 | Paper |
Monads need not be endofunctors | 2015-03-11 | Paper |
A Hoare logic for the coinductive trace-based big-step semantics of While | 2015-02-19 | Paper |
Certified Parsing of Regular Languages | 2015-01-13 | Paper |
Monadic augment and generalised short cut fusion | 2015-01-06 | Paper |
Certified CYK parsing of context-free languages | 2014-10-23 | Paper |
When is a container a comonad? | 2014-09-05 | Paper |
The Recursion Scheme from the Cofree Recursive Comonad | 2014-06-27 | Paper |
Comonadic Notions of Computation | 2014-01-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q2852100 | 2013-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2847806 | 2013-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2843728 | 2013-08-23 | Paper |
On streams that are finitely red | 2012-10-22 | Paper |
When Is a Container a Comonad? | 2012-06-22 | Paper |
A Categorical Outlook on Cellular Automata | 2010-12-03 | Paper |
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While | 2010-05-04 | Paper |
Monads Need Not Be Endofunctors | 2010-04-27 | Paper |
Corecursive Algebras: A Study of General Structured Corecursion | 2009-12-09 | Paper |
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents | 2009-12-01 | Paper |
Trace-Based Coinductive Operational Semantics for While | 2009-10-20 | Paper |
Proof optimization for partial redundancy elimination | 2009-09-29 | Paper |
The Essence of Dataflow Programming | 2009-01-15 | Paper |
Program and proof optimizations with type systems | 2008-11-06 | Paper |
Categorical Views on Computations on Trees (Extended Abstract) | 2007-11-28 | Paper |
Functional and Logic Programming | 2007-09-25 | Paper |
A compositional natural semantics and Hoare logic for low-level languages | 2007-04-19 | Paper |
Type systems equivalent to data-flow analyses for imperative languages | 2007-01-09 | Paper |
Explicit substitutions and higher-order syntax | 2006-11-17 | Paper |
Programming Languages and Systems | 2006-10-20 | Paper |
Recursive coalgebras from comonads | 2006-06-30 | Paper |
Programming Languages and Systems | 2005-08-17 | Paper |
Iteration and coiteration schemes for higher-order and nested datatypes | 2005-04-06 | Paper |
Coproducts of Ideal Monads | 2005-03-21 | Paper |
Substitution in non-wellfounded syntax with variable binding | 2005-01-11 | Paper |
Generalizing Substitution | 2004-03-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4435476 | 2003-11-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4417851 | 2003-07-30 | Paper |
Least and greatest fixed points in intuitionistic natural deduction | 2002-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q2765926 | 2002-01-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q2718773 | 2001-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4939621 | 2000-05-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4267198 | 1999-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4312450 | 1994-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4312455 | 1994-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3487333 | 1990-01-01 | Paper |