Browse
Administrators only
Discover
AuthorTzevelekos, N (1)SubjectCOMPUTATION (1)denotational semantics (1)GAME SEMANTICS (1)
game semantics (1)
LOGIC (1)
ML (1)
monads and comonads (1)
NAMES (1)nu-calculus (1)PCF (1)... View MoreDate Issued2009 (1)