Next: LMU München
Up: Cooperating sites
Previous: Manchester


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:

Minho homepage

Bengt Nordström 2005-09-22