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

Document Versions

Comparing cubes of typed and type assignment systems –Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Paweł Urzyczyn — 1997 — Annals of Pure and Applied Logic
Comparing Cubes of Typed and Type Assignment Systems –Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Instytut Informatyki — 1997
Comparing Cubes of Typed and Type Assignment System –Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca — 1997 — Annals of Pure and Applied Logics
Comparing Cubes of Typed and Type Assignment System –Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca — 1997 — Annals of Pure and Applied Logics
Comparing Cubes of Typed and Type Assignment Systems –Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn — 1997