Sfoglia per Autore  

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