Pages that link to "Item:Q4742295"
From MaRDI portal
The following pages link to Parametrized data types do not need highly constrained parameters (Q4742295):
Displaying 7 items.
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
