Browse
Administrators only
Discover
AuthorAbramsky, 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)