Dependent types for nominal terms

  • Fernandez, Maribel (Primary Investigator)
  • Szasz, Nora (Co-Investigator)
  • Tasistro, Alvaro (Co-Investigator)

Project: Research

Project Details

StatusFinished
Effective start/end date1/04/2009 → 31/03/2011

Collaborative partners

Funding

  • Royal Society: £5,780.00