CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 88
Titolo Data di pubblicazione Autore(i) File
General interface circuit for time-of-flight measurement with cold neutrons 1974 M. Coppo; G. Maino; A. Villa
A cold neutron spectrometer for inelastic scattering studies 1974 G. Castagno;M. Coppo;F. D. Michelis;L. Saitta;A. Tartaglia
Semantic support for a speech understanding system, based on fuzzy relations 1976 M. Coppo;L. Saitta
Termination tests inside lambda-calculus 1977 C. Bohm; M. Coppo; M. Dezani-Ciancaglini
A new type assignment for lambda-terms 1978 Mario Coppo; Mariangiola Dezani
(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 modular multi-microprocessor oriented for real-time controls 1979 M. Coppo;A. Giordana
Multiprocessor architecture for microcomputer-based controls 1979 M. Coppo;A. Giordana
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus 1979 M. Coppo;M. Dezani;P. Salle
An extended polymorphic type system for applicative languages 1980 M. Coppo
Algorithms and Types 1980 M.Coppo; M.Dezani; A.Ressouche
An extension of the basic functionality theory for the lambda-calculus. 1980 M. Coppo; M. Dezani
Principal type-schemes and lambda-calculus semantics 1980 M. Coppo; M. Dezani; B. Venneri
Functional characters of solvable terms 1981 M. Coppo; M. Dezani; B. Venneri
Completeness Results for a Polymorphic Type System 1983 Mario Coppo; Elio Giovannetti
A Filter Lambda Model and the Completeness of Type Assignment 1983 H. Barendregt;M. Coppo;M. Dezani-Ciancaglini
Applicative Information Systems 1983 M.Coppo; M.Dezani; G.Longo
On the semantics of polymorphism 1983 M. Coppo
Extended Type Structures and Filter Lambda Models 1984 M. Coppo;M. Dezani-Ciancaglini;F. Honsell;G. Longo
Completeness of type assignment in continuous lamda-models 1984 M. COPPO
Mostrati risultati da 1 a 20 di 88
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