EPSRC Grant GR/S30450/01: Extension of Dependent Type Theory - Induction, Interaction, Universes

• Research Project, funded by EPSRC (Engineering and Physical Sciences Research Council)
  
• Duration: 1 Oct 2003 - 30 November 2007
• Principal Investigator: Anton Setzer
• Research Assistant: Markus Michelbrink
• Hosting Institution: Department of Computer Science, University of Wales Swansea
  
• Project Outline
  • Summary
    
  • Application
• Final Report
• Publications can be found here
• Talks and Research Visits Carried out During this Project can be found here
• Back to Homepage of Anton Setzer