RONCHI DELLA ROCCA, Simonetta
RONCHI DELLA ROCCA, Simonetta
INFORMATICA
A fully abstract model for the lazy lambda-calculus
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
A logical account of PSPACE
2008-01-01 GABOARDI M; MARION J.Y; RONCHI DELLA ROCCA S.
A Quantitative Version of Simple Types
2023-01-01 Daniele Pautasso; Simona Ronchi Della Rocca
A Soft Type Assignment System for Lambda-Calculus
2007-01-01 M. GABOARDI; S. RONCHI DELLA ROCCA
An Operational Characterization of Strong Normalization
2006-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Bounding normalization time through intersection types
2013-01-01 E. De Benedetti; S. Ronchi Della Rocca
Categorical semantics of the call-by-value lambda calculus
1995-01-01 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
Characterization of typings in polymorphic type discipline
1988-01-01 GIANNINI P.; S. RONCHI DELLA ROCCA
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
2014-01-01 Baillot P.; De Benedetti E.; Ronchi Della Rocca S.
Elementary Affine Logic and the Call by Value Lambda Calculus
2005-01-01 P. COPPOLA; U. DAL LAGO; S. RONCHI DELLA ROCCA
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; ROVERSI L.
Intersection Logic in sequent calculuys style.
2011-01-01 Ronchi Della Rocca S.; Saurin A.; Stavrinos Y.; Veneti A.
Intersection, Universally Quantified and Reference Types
2009-01-01 M. Dezani; P. Giannini; S. Ronchi Della Rocca
Lambda Calculus and Probabilistic Computation.
2019-01-01 FAGGIAN CLAUDIA, RONCHI DELLA ROCCA SIMONETTA
Lazy Logical Semantics
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
Lazy strong normalization
2005-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Logical Semantics for Stability
2009-01-01 L.Paolini; M.Piccolo; S.Ronchi Della Rocca
Observability for Pair Pattern Calculi
2015-01-01 Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Operational Semantics and Extensionality
2000-01-01 S. RONCHI DELLA ROCCA
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A fully abstract model for the lazy lambda-calculus | 2004 | L. PAOLINI; S. RONCHI DELLA ROCCA | |
A logical account of PSPACE | 2008 | GABOARDI M; MARION J.Y; RONCHI DELLA ROCCA S. | |
A Quantitative Version of Simple Types | 2023 | Daniele Pautasso; Simona Ronchi Della Rocca | |
A Soft Type Assignment System for Lambda-Calculus | 2007 | M. GABOARDI; S. RONCHI DELLA ROCCA | |
An Operational Characterization of Strong Normalization | 2006 | L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA | |
Bounding normalization time through intersection types | 2013 | E. De Benedetti; S. Ronchi Della Rocca | |
Categorical semantics of the call-by-value lambda calculus | 1995 | PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L. | |
Characterization of typings in polymorphic type discipline | 1988 | GIANNINI P.; S. RONCHI DELLA ROCCA | |
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus | 2014 | Baillot P.; De Benedetti E.; Ronchi Della Rocca S. | |
Elementary Affine Logic and the Call by Value Lambda Calculus | 2005 | P. COPPOLA; U. DAL LAGO; S. RONCHI DELLA ROCCA | |
Intersection Logic | 2001 | S. RONCHI DELLA ROCCA; L. ROVERSI | |
Intersection Logic | 2001 | S. RONCHI DELLA ROCCA; ROVERSI L. | |
Intersection Logic in sequent calculuys style. | 2011 | Ronchi Della Rocca S.; Saurin A.; Stavrinos Y.; Veneti A. | |
Intersection, Universally Quantified and Reference Types | 2009 | M. Dezani; P. Giannini; S. Ronchi Della Rocca | |
Lambda Calculus and Probabilistic Computation. | 2019 | FAGGIAN CLAUDIA, RONCHI DELLA ROCCA SIMONETTA | |
Lazy Logical Semantics | 2004 | L. PAOLINI; S. RONCHI DELLA ROCCA | |
Lazy strong normalization | 2005 | L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA | |
Logical Semantics for Stability | 2009 | L.Paolini; M.Piccolo; S.Ronchi Della Rocca | |
Observability for Pair Pattern Calculi | 2015 | Bucciarelli A.; Kesner D.; Ronchi Della Rocca S. | |
Operational Semantics and Extensionality | 2000 | S. RONCHI DELLA ROCCA |