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


Anton Setzer
Last modified: Sun Mar 11 15:28:33 GMT 2007