Pages that link to "Item:Q557802"
From MaRDI portal
The following pages link to Functions with local state: regularity and undecidability (Q557802):
Displaying 11 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- ML and Extended Branching VASS (Q2988645) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)
- A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
