RONCHI DELLA ROCCA, Simonetta

RONCHI DELLA ROCCA, Simonetta  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 93 (tempo di esecuzione: 0.042 secondi).
Titolo Data di pubblicazione Autore(i) File
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus 1978 M.Coppo; M.Dezani; S. Ronchi della Rocca
A collection of contributions in honour of C. Bohm 1993 M. Dezani; S. Ronchi della Rocca; M.Venturini Zilli
A Discrimination Algorithm inside Lambda-calculus 1978 C.Bohm; M.Dezani; P.Peretti; S. Ronchi della Rocca
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
A type assignment for lambda-calculus complete both for FPTIME and strong normalization 2016 Erika De Benedetti, Simona Ronchi Della Rocca
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 1994 GIANNINI P.; S. RONCHI DELLA ROCCA
A Unification Semi-Algorithm for Intersection TypeSchemes 1987 S. Ronchi Della Rocca
Ada Augusta Byron 2008 Ronchi Della Rocca S.
Alpha-conversion and Typability 1999 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 F. HONSELL; S. RONCHI DELLA ROCCA
An Implicit Characterization of PSPACE 2012 M.Gaboardi; J. Y.Marion; 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
Call-by-Value Solvability 1999 L. PAOLINI; 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
Characterization Theorems for a filter lambda-model 1982 S. Ronchi Della Rocca