TYPES-ITRS 2020

26th International Conference on Types for Proofs and Programs 2-5 March

10th Workshop on Intersection Types and Related Systems 6 March

Abstracts

As communicated on the home page, the conference didn't happen, due to the sanitary emergency of Covid-19 infection. The abstracts of the talks that were in the schedule of these meetings, are contained in the following documents:

• EUTYPES and TYPES sessions
• ITRS sessions