The following pages link to (Q2754137):
Displayed 11 items.
- Program equivalence in a simple language with state (Q456473) (← links)
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- Third-order Idealized Algol with iteration is decidable (Q2474055) (← links)
- Angelic semantics of fine-grained concurrency (Q2474441) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- A Categorical Semantics of Higher Order Store (Q2842823) (← links)
- Regular-Language Semantics for a Call-by-Value Programming Language (Q4917052) (← links)