Publications EPSRC Grant GR/S30450/01

List of publications written during the EPSRC project: Extension of Dependent Type Theory - Induction, Interaction, Universes


Anton Setzer
Last modified: Sun Mar 11 15:26:41 GMT 2007