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