P.: Comparing Cubes of Typed and Type Assignment Systems (1997)

by S van Bakel, L Liquori, Ronchi Della Rocca, S Urzyczyn
Venue:Ann. Pure Appl. Logic