Name:	Dr R Adams
Organisation:	Royal Holloway, Univ of London
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/J009113/1 Classical Dependent Type Theories (P) EP/D066638/1 Reverse Mathematics in Dependent Type Theory (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator