Classical Dependant Type Theories

  • Adams, Robin (PI)

Project: Research

Project Details

StatusFinished
Effective start/end date1/03/12 → 30/09/13

Funding

  • Eng & Phys Sci Res Council EPSRC: £98,545.00