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