Complete restrictions of the intersection type discipline
Complete restrictions of the intersection type discipline / S. van Bakel