The Foundations of Computer Science Research Group
 FoCS at OUCL Members- Seminars
- Our events
- RESEARCH
- Game Semantics
- Physics and CS
- Modal Logic
- FP6 STREP QICS
|
RESEARCH
The interests of our group are broad, including the semantics of programming languages, lambda calculi, all kinds of logic (e.g. linear, quantum, epistemic, verificational), domain theory, category theory. The following are pages of subgroups with specific interests:
|
![[Oxford Spires]](http://web.comlab.ox.ac.uk/im/spires.gif){kind=small}