Foundational Effectful Type Theories
Lead Research Organisation:
University of Birmingham
Department Name: School of Computer Science
Abstract
Foundational Effectful Type Theories
Organisations
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/W524396/1 | 30/09/2022 | 29/09/2028 | |||
2741384 | Studentship | EP/W524396/1 | 18/09/2022 | 18/03/2026 | Miguel Da Rocha Paiva |