Pages that link to "Item:Q3012916"
From MaRDI portal
The following pages link to A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916):
Displaying 6 items.
- Program equivalence in a simple language with state (Q456473) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Contextual Approximation and Higher-Order Procedures (Q2811338) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- ML and Extended Branching VASS (Q2988645) (← links)
