Browse
Administrators only
Discover
Author
Abramsky, S (1)
Jagadeesan, R (1)Malacaria, P (1)Subject
full abstraction (1)
functional computation (1)
game semantics (1)
GAMES (1)linear logic (1)PCF (1)programming language semantics (1)SEQUENTIAL ALGORITHMS (1)sequentiality (1)... View MoreDate Issued2000 (1)