Up: Cooperating sites
The group Zeno (www.irit.fr/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:
- Foundational research: to work on type isomorphism and coercive subtyping.
The senior members of the group are
- Sergei Soloviev, contact person
- Prof Jean-Paul Bodeveix
- Dr Mamoun Filali-Amine (researcher CNRS)
Bengt Nordström 2005-09-22