Compositional Normalisation with Modal Types

Project Details

StatusActive
Effective start/end date1/03/2428/02/27

Funding

  • Royal Society: £473,628.36