EPSRC Grant EP/G033374/1: Theory and Applications of Induction Recursion

• Research Project, funded by EPSRC (Engineering and Physical Sciences Research Council)
  
• Duration: 1 Oct 2009 - 31 March 2013
• Principal Investigator: Anton Setzer
• PhD student: Fredrik Nordvall Forsberg, now at the Mathematically Structured Programming Group at Strathclyde. Fredrik's homepage at Strathclyde.
• Hosting Institution: Department of Computer Science, Swansea University
  
• Page by EPSRC on Grant EP/G033374/1
• Case of Support
• Key findings
• Publications
• Slides of talks given
• Back to Homepage of Anton Setzer