Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona Inhabitation for non-idempotent intersection types. (English) Zbl 1448.68208 Log. Methods Comput. Sci. 14, No. 3, Paper No. 7, 28 p. (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{A. Bucciarelli} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 7, 28 p. (2018; Zbl 1448.68208) Full Text: DOI arXiv
Liquori, Luigi; Ronchi Della Rocca, Simona Intersection-types à la Church. (English) Zbl 1125.68031 Inf. Comput. 205, No. 9, 1371-1386 (2007). MSC: 68N18 PDFBibTeX XMLCite \textit{L. Liquori} and \textit{S. Ronchi Della Rocca}, Inf. Comput. 205, No. 9, 1371--1386 (2007; Zbl 1125.68031) Full Text: DOI HAL
Ronchi Della Rocca, Simona Intersection typed \(\lambda \)-calculus. (English) Zbl 1270.03032 van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 163-181 (2003). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{S. Ronchi Della Rocca}, Electron. Notes Theor. Comput. Sci. 70, No. 1, 163--181 (2003; Zbl 1270.03032) Full Text: DOI
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel Comparing cubes of typed and type assignment systems. (English) Zbl 0952.03010 Ann. Pure Appl. Logic 86, No. 3, 267-303 (1997). MSC: 03B40 PDFBibTeX XMLCite \textit{S. van Bakel} et al., Ann. Pure Appl. Logic 86, No. 3, 267--303 (1997; Zbl 0952.03010) Full Text: DOI