Sfoglia per Autore
Study of the reaction he-4(gamma, he-3)n up to 60 mev gamma-ray energy
1970-01-01 L. Busso; S. Costa; L. Ferrero; R. Garfagnini; L. Pasqualini; G. Piragino; S. Ronchi Della Rocca; A. Zanini
Listing the Functional Digraph Structures
1974-01-01 C.Bohm; M.Dezani; S. Ronchi della Rocca
A Discrimination Algorithm inside Lambda-calculus
1978-01-01 C.Bohm; M.Dezani; P.Peretti; S. Ronchi della Rocca
(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
Complexity of Lambda-terms Reductions
1979-01-01 M.Dezani; S.Ronchi della Rocca; L.Saitta
Discriminability of infinite sets of terms in the D-infinity-models of the lambda-calculus
1981-01-01 S.Ronchi Della Rocca
Characterization Theorems for a filter lambda-model
1982-01-01 S. Ronchi Della Rocca
Semantica della macchina X-CODE
1984-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
Principal Type Scheme for an extended type theory
1984-01-01 S. RONCHI DELLA ROCCA; B. VENNERI
Semantics of the CNET Internode Communication Mechanism
1985-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
A Unification Semi-Algorithm for Intersection TypeSchemes
1987-01-01 S. Ronchi Della Rocca
Principal Type scheme and unification for intersection type discipline
1988-01-01 S. RONCHI DELLA ROCCA
Characterization of typings in polymorphic type discipline
1988-01-01 GIANNINI P.; S. RONCHI DELLA ROCCA
ICALP
1989-01-01 G. Ausiello ; M. Dezani ; S. Ronchi della Rocca
The Lazy Call-by-value lambda-calculus
1991-01-01 L.Egidi; F.Honsell; S. Ronchi Della Rocca
ICALP
1991-01-01 G. Ausiello; M. Dezani; S. Ronchi della Rocca
Type Inference in Polymorphic Type Discipline
1991-01-01 P.Giannini; S.Ronchi Della Rocca
An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus
1992-01-01 F. HONSELL; S. RONCHI DELLA ROCCA
Operational, denotational and logical descriptions: a case study
1992-01-01 L. EGIDI; F. HONSELL; S. RONCHI DELLA ROCCA
Type Inference: Some Results, Some Problems
1993-01-01 Giannini P.; Honsell F.; Ronchi Della Rocca S.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile