ITRS

Intersection Types and Related Systems

• HOME
• WORKSHOPS
• CONTACTS
• LINKS

Steering Committee

• Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
• Jakob Rehof (Tecnische Universitaet Dortmund, Germany)
• Joe Wells (Heriot-Watt University, Edinburgh, United Kingdom)

Web editor

• Ugo de'Liguoro (Università di Torino, Italy)