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 Issued2000 (1)