Publications of S. Ronchi Della Rocca

BACK TO COATI PUBLICATION INDEX

Publications of S. Ronchi Della Rocca

Articles in journal or book's chapters

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

BACK TO COATI PUBLICATION INDEX

---

Last modified: Sat Jan 29 19:00:46 2022