📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

Foundational Effectful Type Theories

Lead Research Organisation: University of Birmingham
Department Name: School of Computer Science

Abstract

Foundational Effectful Type Theories

Publications

10 25 50

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