A brief introduction to and overview of recent work on intensional
semantics is given, with emphasis on game semantics. Some possible
connections with complexity are discussed.
Dept. of Computer Science
James Clerk Maxwell Building
Edinburgh EH9 3JZ
Back to the list of talks