Abstract

In this problem session, we will go over the existing definitions of type disjointness and discuss an alternative approach proposed by Jimmy.