Principal type scheme and unification for intersection type disciplineRONCHI DELLA ROCCA, S.Theoretical computer science. 1988, Vol 59, Num 1-2, pp 181-209, issn 0304-3975Conference Paper

I tempi sociali e la cultura ebraica = Social time and the Hebrew culture = Temps social et culture hébraïqueDELLA ROCCA, J. S.Critica sociologica. 1996, Num 116, pp 44-50, issn 0011-1546Article

La riposta ad Amalek = The Answer to AmalekDELLA ROCCA, R.La Rassegna mensile di Israel. 1993, Vol 60, Num 1-2, pp 171-174, issn 0033-9792Article

The power of an idea: Spinoza's critique of pure will = Le pouvoir des idées : la critique de la volonté pure chez SpinozaDELLA ROCCA, Michael.Noûs (Bloomington, Indiana). 2003, Vol 37, Num 2, pp 200-231, issn 0029-4624, 32 p.Article

Frankfurt, fischer and flickers = Frankfurt, Fischer et les tremblementsDELLA ROCCA, M.Noûs (Bloomington, Indiana). 1998, Vol 32, Num 1, pp 99-105, issn 0029-4624Article

Essentialists and essentialismDELLA ROCCA, M.The Journal of philosophy. 1996, Vol 93, Num 4, pp 186-202, issn 0022-362XArticle

Taking the Fourth: Steps toward a New (Old) Reading of DescartesDELLA ROCCA, Michael.Midwest studies in philosophy. 2011, Vol 35, pp 93-110, issn 0363-6550, 18 p.Article

PRIMITIVE PERSISTENCE AND THE IMPASSE BETWEEN THREE-DIMENSIONALISM AND FOUR-DIMENSIONALISMDELLA ROCCA, Michael.The Journal of philosophy. 2011, Vol 108, Num 11, pp 591-616, issn 0022-362X, 26 p.Article

Kripke's essentialist argument against the identity theoryDELLA ROCCA, M.Philosophical studies. 1993, Vol 69, Num 1, pp 101-112, issn 0031-8116Article

Spinoza's argument for the identity theoryDELLA ROCCA, M.The Philosophical review. 1993, Vol 102, Num 2, pp 183-213, issn 0031-8108Article

DISCRIMINABILITY OF INFINITE SETS OF TERMS IN THE D_INFINI-MODELS OF THE LAMBDA -CALCULUSRONCHI DELLA ROCCA S.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 350-364; BIBL. 14 REF.Conference Paper

Roncalli diplomatico in Turchia e Grecia (1935-1944) in L'età di RoncalliMOROZZO DELLA ROCCA, R.Cristianesimo nella storia. 1987, Vol 8, Num 2, pp 33-72, issn 0393-3598Article

Sartre y el problema de la superacion de la metafisica in SartrePERETTI DELLA ROCCA, C. de.Anales del Seminario de Metafisica Madrid. 1980, Vol 15, pp 109-121Article

Convoluzioni di immagini su Quadrics Q1 = Convolution of images on computer Quadrics Q1DELLA ROCCA, A; FERRIANI, S; LA PORTA, L et al.Energia, ambiente e innovazione. 1995, Vol 41, Num 12, pp 20-26, issn 1124-0016Article

CHIESA CATTOLICA E MODERNITÀ = Eglise catholique et modernitéDELLA ROCCA, Roberto Morozzo.Rivista di storia della chiesa in Italia. 2011, Vol 65, Num 2, pp 563-571, issn 0035-6557, 9 p.Article

I voti degli orientali nella preparazione del Vaticano IIMOROZZO DELLA ROCCA, R.Studium. 1990, Vol 86, Num 4, pp 513-541, issn 0039-4130Article

Call-by-value solvabilityPAOLINI, L; RONCHI DELLA ROCCA, S.Informatique théorique et applications (Imprimé). 1999, Vol 33, Num 6, pp 507-534, issn 0988-3754Article

Principal type schemes for an extended type theoryRONCHI DELLA ROCCA, S; VENNERI, B.Theoretical computer science. 1984, Vol 28, Num 1-2, pp 151-169, issn 0304-3975Article

Computer simulation of the radiographic image forming process : implementation and applicationsDELLA ROCCA, A. B; FERRIANI, S; LA PORTA, L et al.NDT & E international. 1995, Vol 28, Num 3, pp 163-170, issn 0963-8695Article

REDUCTION OF STORAGE EMPLOYED TO REPRESENT FAMILIES OF INFORMATION STRUCTURES.DEZANI CIANCAGLINI M; RONCHI DELLA ROCCA S.1977; CALCOLO; ITAL.; DA. 1977; VOL. 14; NO 1; PP. 45-83; ABS. ITAL.; BIBL. 11 REF.Article

Il ruolo dei quadri fra dinamiche organizzative e dinamiche di mercato = Le rôle des cadres entre dynamiques organisationnelles et dynamiques de marchéCALABRÒ, A. R; DELLA ROCCA, G; DOPSON, S et al.DELLA ROCCA, G; Studi Organizzativi. 1991, Vol 22, Num 2, pp 3-210Serial Issue

16th International colloquium on automata, languages and programming, selected papers, Stresa, July 11-15, 1989AUSIELLO, G; RONCHI DELLA ROCCA, S; DEZANI-CIANCAGLINI, M et al.Theoretical computer science. 1991, Vol 83, Num 1, issn 0304-3975, 167 p.Conference Proceedings

A type inference algorithm for a stratified polymorphic type disciplineGIANNINI, P; RONCHI DELLA ROCCA, S.Information and computation (Print). 1994, Vol 109, Num 1-2, pp 115-173, issn 0890-5401Conference Paper

Intersection-types à la ChurchLIQUORI, Luigi; DELLA ROCCA, Simona Ronchi.Information and computation (Print). 2007, Vol 205, Num 9, pp 1371-1386, issn 0890-5401, 16 p.Article

Parametric parameter passing λ-calculusPAOLINI, Luca; RONCHI DELLA ROCCA, Simona.Information and computation (Print). 2004, Vol 189, Num 1, pp 87-106, issn 0890-5401, 20 p.Article