Joint papers with Luigi Liquori, Simona Ronchi della Rocca and Pawel Urzyczyn.
- S. van Bakel, L. Liquori, R. Ronchi della Rocca, and P. Urzyczyn.
Comparing Cubes.
In A. Nerode and Yu. V. Matiyasevich, editors, Proceedings of LFCS '94.
Third International Symposium on Logical Foundations of Computer Science,
St. Petersburg, Russia.
Volume 813 of Lecture Notes in Computer Science, pages 353-365.
Springer-Verlag, 1994.
[Abstract in plain text and
paper in gzip-ed postscript format.]
- S. van Bakel, L. Liquori, R. Ronchi della Rocca, and P. Urzyczyn.
Comparing Cubes of Typed and Type Assignment Systems.
Annals of Pure and Applied Logic, 86(3):267-303, 1997.
[Abstract in plain text and
paper in gzip-ed postscript format.]