Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
Compositional Normalisation with Modal Types
Valliappan, Nachi
(Principal Investigator)
Lindley, Sam
(Sponsor)
School of Informatics
Laboratory for Foundations of Computer Science
Overview
Project Details
Status
Active
Effective start/end date
1/03/24
→
28/02/27
Funding
Royal Society:
£473,628.36
View all
View less