Publications of S. van Bakel

BACK TO COATI PUBLICATION INDEX

Publications of S. van Bakel

Articles in journal or book's chapters
  1. S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes of Typed and Type Assignment System. Annals of Pure and Applied Logics, 86(3):267--303, 1997. [POSTSCRIPT ] [bibtex-entry]
     
Conference's articles
  1. S. van Bakel, L. Liquori, S. Ronchi della Rocca, and P. Urzyczyn. Comparing Cubes. In LFCS, International Symposium on Logical Foundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 353--365, 1994. Springer Verlag. [POSTSCRIPT ] [bibtex-entry]
     

BACK TO COATI PUBLICATION INDEX



Last modified: Tue Jul 25 17:12:08 2017