Classical Dependant Type Theories

Project: Research

NullPointerException
StatusFinished
Effective start/end date1/03/1230/09/13

Funding

Eng & Phys Sci Res Council EPSRC: £98,545

ID: 21709499