Pages that link to "Item:Q1575874"
From MaRDI portal
The following pages link to Full abstraction for idealized Algol with passive expressions (Q1575874):
Displaying 15 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- On full abstraction for PCF: I, II and III (Q1854393) (← links)
- Polarized games (Q1886321) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Curry-style type isomorphisms and game semantics (Q3520148) (← links)
- Regular-Language Semantics for a Call-by-Value Programming Language (Q4917052) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- A Theory for Game Theories (Q5458834) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)
- Compositionality in context (Q6612797) (← links)
