The following pages link to Nikos Tzevelekos (Q388211):
Displaying 35 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- A trace semantics for System F parametric polymorphism (Q1652964) (← links)
- (Q2396721) (redirect page) (← links)
- Reachability in pushdown register automata (Q2396722) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- History-Register Automata (Q2800969) (← links)
- Reachability in Pushdown Register Automata (Q2922039) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)
- Introduction to Categories and Categorical Logic (Q3000919) (← links)
- Algorithmic Games for Full Ground References (Q3167021) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Full abstraction for nominal general references (Q3401132) (← links)
- A Contextual Equivalence Checker for IMJ* (Q3460566) (← links)
- Game Semantic Analysis of Equivalence in IMJ (Q3460582) (← links)
- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience (Q3557842) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
- Bisimilarity in Fresh-Register Automata (Q4635800) (← links)
- Trace semantics for polymorphic references (Q4635919) (← links)
- History-Register Automata (Q4910409) (← links)
- Deconstructing General References via Game Semantics (Q4910423) (← links)
- Towards Nominal Abramsky (Q4922085) (← links)
- Polynomial-time equivalence testing for deterministic fresh-register automata (Q5005176) (← links)
- Game Semantics for Interface Middleweight Java (Q5056398) (← links)
- (Q5111648) (← links)
- Runtime Verification Based on Register Automata (Q5326330) (← links)
- Game semantics for interface middleweight Java (Q5408446) (← links)
- Fresh-register automata (Q5408551) (← links)
- Game Semantics for Nominal Exceptions (Q5410671) (← links)
- From bounded checking to verification of equivalence via symbolic up-to techniques (Q6535615) (← links)
- A bounded model checking technique for higher-order programs (Q6535909) (← links)
- Deconstructing general references via game semantics (Q6612784) (← links)
