← Matthew
Douvk Webring
George Kaye →
Bruno da Rocha Paiva
PhD researcher
Dependent types and effects
Supervised by
Vincent Rahli
and
Martín Escardó
University of Birmingham
Research
Teaching
Contact