The following pages link to Tarmo Uustalu (Q235624):
Displaying 29 items.
- (Q4939621) (← links)
- (Q4963901) (← links)
- (Q4964699) (← links)
- Coherence for Skew-Monoidal Categories (Q4995162) (← links)
- (Q5013829) (← links)
- Directed Containers as Categories (Q5013830) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- (Q5089020) (← links)
- Interaction Laws of Monads and Comonads (Q5145667) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- A Hoare logic for the coinductive trace-based big-step semantics of While (Q5174911) (← links)
- Monads need not be endofunctors (Q5177334) (← links)
- Relative Monads Formalised (Q5195253) (← links)
- Formalizing Restriction Categories (Q5195282) (← links)
- The Essence of Dataflow Programming (Q5302890) (← links)
- Functional and Logic Programming (Q5308026) (← links)
- Finiteness and rational sequences, constructively (Q5372009) (← links)
- Categorical Views on Computations on Trees (Extended Abstract) (Q5428844) (← links)
- Programming Languages and Systems (Q5464049) (← links)
- Programming Languages and Systems (Q5493371) (← links)
- (Q5854739) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- Reordering Derivatives of Trace Closures of Regular Languages. (Q5875402) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)
- Flexibly graded monads and graded algebras (Q6109207) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)
- Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)
