Pages that link to "Item:Q1014644"
From MaRDI portal
The following pages link to On the construction of free algebras for equational systems (Q1014644):
Displaying 11 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- (Q3385646) (← links)
- (Q5009703) (← links)
- Equational Theories of Scattered and Countable Series-Parallel Posets (Q5041243) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- (Q5089005) (← links)
- (Q5094144) (← links)
- (Q5101336) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)
