Concepedia

Publication | Open Access

Comparing cubes of typed and type assignment systems

DOIFull Paper Access

20

Citations

14

References

1997

Year

Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Paweł Urzyczyn
Annals of Pure and Applied Logic

References

YearCitations

Page 1