EPSRC logo
Researcher Details
 
Name: Dr A Setzer
Organisation: Swansea University
Department: College of Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/G033374/1 Theory And Applications of Induction Recursion(P)
GR/S30450/01 Extensions of Dependent Type Theory - Induction, Interaction, Universes(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator