Classical Dependant Type Theories - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Projects > Classical Dependant Type Theories

Classical Dependant Type Theories

Project: Research

Adams, Robin (PI)

Department of Computer Science

Status	Finished
Effective start/end date	1/03/12 → 30/09/13

Funding

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

ID: 21709499

Computer Science home

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455