anupamdas

birmingham-theory

The web page for the Birmingham theoretical computer science research group

mon-fp

Joint project with Isabel Oitavem on recursion theoretic characterisations of monotone complexity classes.

Atomic-Flows-do-not-Form-a-Proof-System