Talks and Research Visits, EPSRC Grant GR/S30450/01

List of talks and research visits carried out during the EPSRC project: Extension of Dependent Type Theory - Induction, Interaction, Universes

Talks given at Conferences and Workshops

Intercontinental longer research visits (1 month each)

International Seminar Talks Given

National Seminar Talks Given

Seminar Talks given at the Department of Computer Science, University of Wales Swansea

Participation at Conferences and Workshops

Research Visits


Anton Setzer
Last modified: Mon Feb 19 00:55:53 GMT 2007