The Foundations of Computer Science Research Group
 FoCS at OUCL Members- Seminars
- Events
- Research
- Game Semantics
- Physics and CS
- QICS
- Modal Logic
|
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}