MASCOTTE no longer exists => visit the new COATI project-team
 

Publications of S. van Bakel
BACK TO MASCOTTE PUBLICATION INDEX

Publications of S. van Bakel

Articles in journal or book 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 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 MASCOTTE PUBLICATION INDEX




Last modified: Thu Oct 10 14:10:03 2013


This document was translated from BibTEX by bibtex2html