Some Computational Properties of Intersection Types.

Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo

Browse the full LICS paper archive.