- QMRO Home
- School of Electronic Engineering and Computer Science
- Theoretical Computer Science Group
- Search
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)