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

Publications of S. Ronchi Della Rocca
BACK TO MASCOTTE PUBLICATION INDEX

Publications of S. Ronchi Della Rocca

Articles in journal or book chapters
  1. L. Liquori and S. Ronchi Della Rocca. Towards an Intersection Typed System à la Church. ITRS: Workshop on Intersection Types and Related Systems. Electr. Notes Theor. Comput. Sci., 136:43--56, 2005. [POSTSCRIPT ] [bibtex-entry]


BACK TO MASCOTTE PUBLICATION INDEX



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

This document was translated from BibTEX by bibtex2html