Next: Udine
Up: Cooperating sites
Previous: Torino


The group Zeno ( is at IRIT, Toulouse. The types-related research topics include isomorphism of types, extensions of reductions systems with weak extensionality, coercive subtyping, and applications of proof assistants such as Coq. The Zeno group has organised the first international workshop on Isomorphism of Types (WIT2002) has had active collaborations with the Durham site.

The group will mainly contribute to the following objective:

The senior members of the group are

Tolouse homepage

Bengt Nordström 2005-09-22