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
Citations:7 - 3 self