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)