Comparing cubes of typed and type assignment systems (1997)

by Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Paweł Urzyczyn
Venue:Annals of Pure and Applied Logic