Pages that link to "Item:Q5466528"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466528):
Displaying 8 items.
- Wellfounded trees in categories (Q1577483) (← links)
- Deep induction: induction rules for (truly) nested types (Q2200833) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Multi-dimensional arrays with levels (Q5020620) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)