The following pages link to Nikos Tzevelekos (Q388211):
Displaying 6 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)
- Polynomial-time equivalence testing for deterministic fresh-register automata (Q5005176) (← links)
- (Q5111648) (← links)
