Up: Cooperating sites
Previous: Manchester
Minho
The group at the University of Minho, Braga, Portugal, was involved in the previous TYPES project. The researchers work on constructive subtyping, extensible definitions, type-based termination and the study of computational content of proof systems. There is extensive collaboration with TYPES sites at INRIA Sophia-Antipolis and Tallin
In this proposal, the Minho site will mainly work on the objective of foundational research, particularly the areas of subtyping and termination.
The key members involved are:
- Luís Pinto (contact person)
- José Espírito Santo
- Maria João Frade
Bengt Nordström 2005-09-22