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