RONCHI DELLA ROCCA, Simonetta
RONCHI DELLA ROCCA, Simonetta
INFORMATICA
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus
1978-01-01 M.Coppo; M.Dezani; S. Ronchi della Rocca
A collection of contributions in honour of C. Bohm
1993-01-01 M. Dezani; S. Ronchi della Rocca; M.Venturini Zilli
A Discrimination Algorithm inside Lambda-calculus
1978-01-01 C.Bohm; M.Dezani; P.Peretti; S. Ronchi della Rocca
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
A type assignment for lambda-calculus complete both for FPTIME and strong normalization
2016-01-01 Erika De Benedetti, Simona Ronchi Della Rocca
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
1994-01-01 GIANNINI P.; S. RONCHI DELLA ROCCA
A Unification Semi-Algorithm for Intersection TypeSchemes
1987-01-01 S. Ronchi Della Rocca
Ada Augusta Byron
2008-01-01 Ronchi Della Rocca S.
Alpha-conversion and Typability
1999-01-01 KFOURY A.; S. RONCHI DELLA ROCCA; TIURYN J.; URZYCZYN P.
An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus
1992-01-01 F. HONSELL; S. RONCHI DELLA ROCCA
An Implicit Characterization of PSPACE
2012-01-01 M.Gaboardi; J. Y.Marion; 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
Call-by-Value Solvability
1999-01-01 L. PAOLINI; 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
Characterization Theorems for a filter lambda-model
1982-01-01 S. Ronchi Della Rocca