Browse
Administrators only
Discover
AuthorAbramsky, S (1)Jagadeesan, R (1)
Malacaria, P (1)
Subjectfull 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 Issued
2000 (1)