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

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

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

COMPLEXITE ELEMENTAIRE DANS LE LAMBDA -CALCULDEZANI CIANCAGLINI M; RONCHI DELLA ROCCA S; SAITTA L et al.1979; LAMBDA CALCUL ET SEMANTIQUE FORMELLE DES LANGAGES DE PROGRAMMATION. ECOLE DE PRINTEMPS D'INFORMATIQUE THEORIQUE. 6/1978/LA CHATRE; FRA; PARIS: LABORATOIRE D'INFORMATIQUE THEORIQUE ET PROGRAMMATION/PARIS: ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES; DA. 1979; PP. 183-212; BIBL. 12 REF.Conference Paper

COMPLEXITY OF LAMBDA -TERM REDUCTIONSDEZANI CIANCAGLINI M; RONCHI DELLA ROCCA S; SAITTA L et al.1979; R.A.I.R.O.,INFORMAT.THEOR.; FRA; DA. 1979; VOL. 13; NO 3; PP. 257-287; ABS. FRE; BIBL. 20 REF.Article

(SEMI)-SEPARABILITY OF FINITE SETS OF TERMS IN SCOTT'S D8 MODELS OF THE LAMBDA -CALCULUS.COPPO M; DEZANI CIANCAGLINI M; RONCHI DELLA ROCCA S et al.1978; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1978; NO 62; PP. 142-164; BIBL. 15 REF.; (AUTOM. LANG. PROGRAM. COLLOQ. 5; UDINE; 1978)Conference Paper

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

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

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

Alpha-conversion and typabilityKFOURY, A. J; RONCHI DELLA ROCCA, S; TIURYN, J et al.Information and computation (Print). 1999, Vol 150, Num 1, pp 1-21, issn 0890-5401Article

Automata, languages and programming, Stresa, Italy, July 11-15, 1989AUSIELLO, G; DEZANI-CIANCAGLINI, M; RONCHI DELLA ROCCA, S et al.Lecture notes in computer science. 1989, Vol 372, issn 0302-9743, XI-788 [799 p.]Conference Proceedings