Comparing Cubes of Typed and Type Assignment System (1997)

by S van Bakel, L Liquori, S Ronchi della Rocca, P Urzyczyn
Venue:Annals of Pure and Applied Logics