Pages that link to "Item:Q5466528"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466528):
Displaying 7 items.
- 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)
- (Q5020620) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)
