×

zbMATH — the first resource for mathematics

Ronchi Della Rocca, Simona

Compute Distance To:
Author ID: ronchi-della-rocca.simona Recent zbMATH articles by "Ronchi Della Rocca, Simona"
Published as: Ronchi Della Rocca, Simona; Ronchi della Rocca, Simona; Ronchi della Rocca, S.; Ronchi Della Rocca, S.; Ronchi Della Rocca, Simonetta; Della Rocca, Simona Ronchi; Ronchi della Rocca, Simonetta
Homepage: http://www.di.unito.it/~ronchi/
External Links: MGP · dblp
Documents Indexed: 73 Publications since 1974, including 8 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 294 times in 148 Documents Cited by Year
An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus. Zbl 0763.03012
Honsell, Furio; Ronchi della Rocca, Simonetta
26
1992
Principal type schemes for an extended type theory. Zbl 0535.03007
Ronchi della Rocca, S.; Venneri, B.
19
1984
Operational, denotational and logical descriptions: A case study. Zbl 0762.68042
Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona
17
1992
The parametric lambda calculus. A metamodel for computation. Zbl 1084.68020
Ronchi Della Rocca, Simona; Paolini, Luca
17
2004
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
14
2014
Principal type scheme and unification for intersection type discipline. Zbl 0656.68022
Ronchi Della Rocca, Simona
12
1988
(Semi)-separability of finite sets of terms in Scott’s \(D_\infty\)-models of the \(\lambda\)-calculus. Zbl 0394.03021
Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
12
1978
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.
11
1979
Solvability in resource lambda-calculus. Zbl 1246.68086
Pagani, Michele; Ronchi Della Rocca, Simona
9
2010
A soft type assignment system for \(\lambda \)-calculus. Zbl 1179.03062
Gaboardi, Marco; Ronchi Della Rocca, Simona
9
2007
Call-by-value solvability. Zbl 0958.68061
Paolini, Luca; Ronchi Della Rocca, Simona
7
1999
Characterization theorems for a filter lambda model. Zbl 0513.03008
Ronchi Della Rocca, Simonetta
7
1982
Type inference. Some results, some problems. Zbl 0797.68026
Giannini, Paola; Honsell, Furio; Ronchi Della Rocca, Simona
6
1993
Intersection logic. Zbl 0999.03011
Ronchi Della Rocca, Simona; Roversi, Luca
6
2001
Parametric parameter passing \(\lambda\)-calculus. Zbl 1082.68015
Paolini, Luca; Della Rocca, Simona Ronchi
6
2004
Comparing cubes of typed and type assignment systems. Zbl 0952.03010
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel
5
1997
Lambda calculus and intuitionistic linear logic. Zbl 0894.03013
Ronchi della Rocca, Simona; Roversi, Luca
5
1997
The call-by-value \(\lambda\)-calculus: A semantic investigation. Zbl 0936.03017
Pravato, Alberto; Ronchi della Rocca, Simona; Roversi, Luca
5
1999
A logical account of PSPACE. Zbl 1295.68116
Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi
5
2008
Essential and relational models. Zbl 1364.68131
Paolini, Luca; Piccolo, Mauro; Ronchi Della Rocca, Simona
5
2017
An operational characterization of strong normalization. Zbl 1180.68105
Paolini, Luca; Pimentel, Elaine; Ronchi della Rocca, Simona
5
2006
Intersection-types à la Church. Zbl 1125.68031
Liquori, Luigi; Ronchi Della Rocca, Simona
5
2007
The topological models are not complete for \(\lambda\)-calculus. Zbl 0665.03010
Honsell, F.; Ronchi Della Rocca, S.
5
1987
Elementary affine logic and the call-by-value lambda calculus. Zbl 1114.03050
Coppola, Paolo; Dal Lago, Ugo; Ronchi della Rocca, Simona
4
2005
Intersection typed \(\lambda \)-calculus. Zbl 1270.03032
Ronchi Della Rocca, Simona
4
2003
Linearity, non-determinism and solvability. Zbl 1244.03056
Pagani, Michele; Ronchi Della Rocca, Simona
4
2010
Principal typing in elementary affine logic. Zbl 1040.03025
Coppola, Paolo; Ronchi della Rocca, Simona
4
2003
A type inference algorithm for a stratified polymorphic type discipline. Zbl 0822.68016
Giannini, Paola; Ronchi della Rocca, Simona
3
1994
Comparing cubes. Zbl 0947.03022
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Paweł
3
1994
Principal typing for lambda calculus in elementary affine logic. Zbl 1095.03069
Coppola, Paolo; Ronchi della Rocca, Simona
3
2005
Guest editorial: Special issue on implicit computational complexity. Zbl 1351.00038
Baillot, Patrick (ed.); Marion, Jean-Yves (ed.); Ronchi Della Rocca, Simona (ed.)
3
2009
An implicit characterization of PSPACE. Zbl 1351.68107
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
3
2012
Lazy strong normalization. Zbl 1272.68087
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona
3
2005
Complexity of \(\lambda\)-term reductions. Zbl 0424.03009
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.; Saitta, L.
3
1979
Discriminability of infinite sets of terms in the \(D_\infty\)-models of the lambda-calculus. Zbl 0469.03008
Ronchi della Rocca, S.
3
1981
Light logics and the call-by-value lambda calculus. Zbl 1161.68011
Coppola, Paolo; Dal Lago, Ugo; Ronchi Della Rocca, Simona
3
2008
Categorical semantics of the call-by-value \(\lambda\)-calculus. Zbl 1063.68558
Pravato, A.; Ronchi della Rocca, S.; Roversi, L.
2
1995
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Zbl 1417.68047
Baillot, Patrick; De Benedetti, Erika; Ronchi Della Rocca, Simona
2
2014
Standardization of a call-by-value lambda-calculus. Zbl 1367.68052
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona
2
2015
Lazy logical semantics. Zbl 1271.68078
Paolini, Luca; Ronchi Della Rocca, Simona
2
2004
Soft linear logic and polynomial complexity classes. Zbl 1277.03027
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
2
2008
Listing of information structures defined by fixed-point operators. Zbl 0308.68028
Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
2
1974
Reduction of storage employed to represent families of information structures. Zbl 0363.68047
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.
2
1977
Intersection types from a proof-theoretic perspective. Zbl 1272.03082
Pimentel, Elaine; Ronchi Della Rocca, Simona; Roversi, Luca
2
2012
A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization. Zbl 1339.68039
De Benedetti, Erika; Ronchi Della Rocca, Simona
2
2016
The lazy call-by-value \(\lambda\)-calculus. Zbl 0777.68062
Egidi, Lavinia; Honsell, Furio; Ronchi della Rocca, Simona
1
1991
Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings. Zbl 0681.00016
Ausiello, Giorgio (ed.); Dezani-Ciancaglini, Mariangiola (ed.); Ronchi Della Rocca, Simonetta (ed.)
1
1989
A unification semi-algorithm for intersection type schemes. Zbl 0644.03008
Ronchi Della Rocca, Simona
1
1987
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2015
Logical semantics for stability. Zbl 1338.03018
Paolini, Luca; Piccolo, Mauro; Ronchi Della Rocca, Simona
1
2009
Towards an intersection typed system à la Church. Zbl 1272.03081
Liquori, Luigi; Ronchi Della Rocca, Simona
1
2005
Standardization and conservativity of a refined call-by-value lambda-calculus. Zbl 1434.68086
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona
1
2017
Strong normalization from an unusual point of view. Zbl 1222.03020
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona
1
2011
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2018
Type inference for a polynomial lambda calculus. Zbl 1246.03029
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
Intersection, universally quantified, and reference types. Zbl 1257.03039
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Ronchi Della Rocca, Simona
1
2009
From light logics to type assignments: a case study. Zbl 1182.03066
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
Alpha-conversion and typability. Zbl 1004.03005
Kfoury, A. J.; Ronchi della Rocca, S.; Tiuryn, J.; Urzyczyn, P.
1
1999
Structured operational semantics of a fragment of the language scheme. Zbl 0933.68087
Honsell, Furio; Pravato, Alberto; Ronchi della Rocca, Simona
1
1998
New semantical insights into call-by-value \(\lambda\)-calculus. Zbl 1434.68092
Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona
1
2019
New semantical insights into call-by-value \(\lambda\)-calculus. Zbl 1434.68092
Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona
1
2019
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2018
Essential and relational models. Zbl 1364.68131
Paolini, Luca; Piccolo, Mauro; Ronchi Della Rocca, Simona
5
2017
Standardization and conservativity of a refined call-by-value lambda-calculus. Zbl 1434.68086
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona
1
2017
A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization. Zbl 1339.68039
De Benedetti, Erika; Ronchi Della Rocca, Simona
2
2016
Standardization of a call-by-value lambda-calculus. Zbl 1367.68052
Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona
2
2015
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2015
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
14
2014
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Zbl 1417.68047
Baillot, Patrick; De Benedetti, Erika; Ronchi Della Rocca, Simona
2
2014
An implicit characterization of PSPACE. Zbl 1351.68107
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
3
2012
Intersection types from a proof-theoretic perspective. Zbl 1272.03082
Pimentel, Elaine; Ronchi Della Rocca, Simona; Roversi, Luca
2
2012
Strong normalization from an unusual point of view. Zbl 1222.03020
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona
1
2011
Solvability in resource lambda-calculus. Zbl 1246.68086
Pagani, Michele; Ronchi Della Rocca, Simona
9
2010
Linearity, non-determinism and solvability. Zbl 1244.03056
Pagani, Michele; Ronchi Della Rocca, Simona
4
2010
Guest editorial: Special issue on implicit computational complexity. Zbl 1351.00038
Baillot, Patrick; Marion, Jean-Yves; Ronchi Della Rocca, Simona
3
2009
Logical semantics for stability. Zbl 1338.03018
Paolini, Luca; Piccolo, Mauro; Ronchi Della Rocca, Simona
1
2009
Type inference for a polynomial lambda calculus. Zbl 1246.03029
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
Intersection, universally quantified, and reference types. Zbl 1257.03039
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Ronchi Della Rocca, Simona
1
2009
From light logics to type assignments: a case study. Zbl 1182.03066
Gaboardi, Marco; Ronchi Della Rocca, Simona
1
2009
A logical account of PSPACE. Zbl 1295.68116
Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi
5
2008
Light logics and the call-by-value lambda calculus. Zbl 1161.68011
Coppola, Paolo; Dal Lago, Ugo; Ronchi Della Rocca, Simona
3
2008
Soft linear logic and polynomial complexity classes. Zbl 1277.03027
Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
2
2008
A soft type assignment system for \(\lambda \)-calculus. Zbl 1179.03062
Gaboardi, Marco; Ronchi Della Rocca, Simona
9
2007
Intersection-types à la Church. Zbl 1125.68031
Liquori, Luigi; Ronchi Della Rocca, Simona
5
2007
An operational characterization of strong normalization. Zbl 1180.68105
Paolini, Luca; Pimentel, Elaine; Ronchi della Rocca, Simona
5
2006
Elementary affine logic and the call-by-value lambda calculus. Zbl 1114.03050
Coppola, Paolo; Dal Lago, Ugo; Ronchi della Rocca, Simona
4
2005
Principal typing for lambda calculus in elementary affine logic. Zbl 1095.03069
Coppola, Paolo; Ronchi della Rocca, Simona
3
2005
Lazy strong normalization. Zbl 1272.68087
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona
3
2005
Towards an intersection typed system à la Church. Zbl 1272.03081
Liquori, Luigi; Ronchi Della Rocca, Simona
1
2005
The parametric lambda calculus. A metamodel for computation. Zbl 1084.68020
Ronchi Della Rocca, Simona; Paolini, Luca
17
2004
Parametric parameter passing \(\lambda\)-calculus. Zbl 1082.68015
Paolini, Luca; Della Rocca, Simona Ronchi
6
2004
Lazy logical semantics. Zbl 1271.68078
Paolini, Luca; Ronchi Della Rocca, Simona
2
2004
Intersection typed \(\lambda \)-calculus. Zbl 1270.03032
Ronchi Della Rocca, Simona
4
2003
Principal typing in elementary affine logic. Zbl 1040.03025
Coppola, Paolo; Ronchi della Rocca, Simona
4
2003
Intersection logic. Zbl 0999.03011
Ronchi Della Rocca, Simona; Roversi, Luca
6
2001
Call-by-value solvability. Zbl 0958.68061
Paolini, Luca; Ronchi Della Rocca, Simona
7
1999
The call-by-value \(\lambda\)-calculus: A semantic investigation. Zbl 0936.03017
Pravato, Alberto; Ronchi della Rocca, Simona; Roversi, Luca
5
1999
Alpha-conversion and typability. Zbl 1004.03005
Kfoury, A. J.; Ronchi della Rocca, S.; Tiuryn, J.; Urzyczyn, P.
1
1999
Structured operational semantics of a fragment of the language scheme. Zbl 0933.68087
Honsell, Furio; Pravato, Alberto; Ronchi della Rocca, Simona
1
1998
Comparing cubes of typed and type assignment systems. Zbl 0952.03010
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel
5
1997
Lambda calculus and intuitionistic linear logic. Zbl 0894.03013
Ronchi della Rocca, Simona; Roversi, Luca
5
1997
Categorical semantics of the call-by-value \(\lambda\)-calculus. Zbl 1063.68558
Pravato, A.; Ronchi della Rocca, S.; Roversi, L.
2
1995
A type inference algorithm for a stratified polymorphic type discipline. Zbl 0822.68016
Giannini, Paola; Ronchi della Rocca, Simona
3
1994
Comparing cubes. Zbl 0947.03022
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Paweł
3
1994
Type inference. Some results, some problems. Zbl 0797.68026
Giannini, Paola; Honsell, Furio; Ronchi Della Rocca, Simona
6
1993
An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus. Zbl 0763.03012
Honsell, Furio; Ronchi della Rocca, Simonetta
26
1992
Operational, denotational and logical descriptions: A case study. Zbl 0762.68042
Egidi, Lavinia; Honsell, Furio; Ronchi Della Rocca, Simona
17
1992
The lazy call-by-value \(\lambda\)-calculus. Zbl 0777.68062
Egidi, Lavinia; Honsell, Furio; Ronchi della Rocca, Simona
1
1991
Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings. Zbl 0681.00016
Ausiello, Giorgio; Dezani-Ciancaglini, Mariangiola; Ronchi Della Rocca, Simonetta
1
1989
Principal type scheme and unification for intersection type discipline. Zbl 0656.68022
Ronchi Della Rocca, Simona
12
1988
The topological models are not complete for \(\lambda\)-calculus. Zbl 0665.03010
Honsell, F.; Ronchi Della Rocca, S.
5
1987
A unification semi-algorithm for intersection type schemes. Zbl 0644.03008
Ronchi Della Rocca, Simona
1
1987
Principal type schemes for an extended type theory. Zbl 0535.03007
Ronchi della Rocca, S.; Venneri, B.
19
1984
Characterization theorems for a filter lambda model. Zbl 0513.03008
Ronchi Della Rocca, Simonetta
7
1982
Discriminability of infinite sets of terms in the \(D_\infty\)-models of the lambda-calculus. Zbl 0469.03008
Ronchi della Rocca, S.
3
1981
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S.
11
1979
Complexity of \(\lambda\)-term reductions. Zbl 0424.03009
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.; Saitta, L.
3
1979
(Semi)-separability of finite sets of terms in Scott’s \(D_\infty\)-models of the \(\lambda\)-calculus. Zbl 0394.03021
Coppo, M.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
12
1978
Reduction of storage employed to represent families of information structures. Zbl 0363.68047
Dezani-Ciancaglini, M.; Ronchi Della Rocca, S.
2
1977
Listing of information structures defined by fixed-point operators. Zbl 0308.68028
Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S.
2
1974
all top 5

Cited by 150 Authors

19 Ronchi Della Rocca, Simona
12 Dezani-Ciancaglini, Mariangiola
10 Paolini, Luca
9 Kesner, Delia
9 Manzonetto, Giulio
8 Baillot, Patrick
8 van Bakel, Steffen
5 Alessi, Fabio
5 Dal Lago, Ugo
5 Honsell, Furio
5 Salibra, Antonino
4 Accattoli, Beniamino
4 Bucciarelli, Antonio
4 Ghilezan, Silvia
4 Martini, Simone
4 Piccolo, Mauro
3 Asperti, Andrea
3 Barbanera, Franco
3 Berline, Chantal
3 de Carvalho, Daniel
3 de’Liguoro, Ugo
3 Lenisa, Marina
3 Liquori, Luigi
3 Pagani, Michele
3 Urzyczyn, Paweł
3 Wells, Joe B.
2 Ariola, Zena M.
2 Barendregt, Hendrik Pieter
2 Coppo, Mario
2 Coppola, Paolo
2 De Benedetti, Erika
2 Díaz-Caro, Alejandro
2 Dougherty, Daniel J.
2 Gaboardi, Marco
2 Guerrieri, Giulio
2 Hindley, J. Roger
2 Intrigila, Benedetto
2 Kerth, Rainer
2 Kfoury, Assaf J.
2 Lescanne, Pierre
2 Lusin, Stefania
2 Nour, Karim
2 Piperno, Adolfo
2 Plotkin, Gordon D.
2 Polonsky, Andrew
2 Ruoppolo, Domenico
2 Schubert, Aleksy
2 Tronci, Enrico
2 Lima Ventura, Daniel
2 Vial, Pierre
2 Zorzi, Margherita
1 Albrecht, David W.
1 Alves, Sandra
1 Amadio, Roberto M.
1 Arrighi, Pablo
1 Aubert, Clément
1 Avanzini, Martin
1 Bagnol, Marc
1 Berardi, Stefano
1 Berarducci, Alessandro
1 Bettini, Lorenzo
1 Böhm, Corrado
1 Bono, Viviana
1 Boudol, Gérard
1 Breuvart, Flavien
1 Broda, Sabine
1 Carraro, Alberto
1 Chrząszcz, Jacek
1 Crossley, John Newsome
1 Curien, Pierre-Louis
1 Curzi, Gianluca
1 David, Rene
1 de Vries, Fer-Jan J.
1 Di Gianantonio, Pietro
1 Downen, Paul
1 Eguchi, Naohi
1 Espírito Santo, José
1 Ferbus-Zanda, Marie C.
1 Fernández, Maribel
1 Ferrari, Alberto José
1 Fujita, Ken-etsu
1 Gabbay, Michael J.
1 Gabbay, Murdoch James
1 García-Pérez, Álvaro
1 Geuvers, Jan Herman
1 Ghyselen, Alexis
1 Giannini, Paola
1 Graham-Lengrand, Stéphane
1 Grigorieff, Serge
1 Herbelin, Hugo
1 Hindley, Roger
1 Hirokawa, Sachio
1 Huet, Gerard P.
1 Ishihara, Hajime
1 Ivetić, Jelena
1 Jacobs, Bart
1 Jacopini, Giuseppe
1 Jeavons, John S.
1 Johnson-Freyd, Philip
1 Kamareddine, Fairouz D.
...and 50 more Authors

Citations by Year