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 20 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- A survey on the categorical term construction with applications (Q1677940) (← links)
- On free representing systems (Q2435929) (← links)
- Free term algebras (Q2852163) (← links)
- An algorithm for free algebras. (Q3083839) (← links)
- Free algebras in varieties. (Q3094513) (← links)
- (Q3385646) (← links)
- (Q3511031) (← 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)
- Letterplace (Q5145988) (← links)
- Coequalizers and free triples. II (Q5233738) (← links)
- On generalizing free algebras for a functor (Q5300585) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)