CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 213
Titolo Data di pubblicazione Autore(i) File
Can syntax be ignored during translation? 1972 C. Bohm; M. Dezani-Ciancaglini
A CUCH-machine: the automatic treatment of bound variables 1972 C. Bohm;M. Dezani-Ciancaglini
Combinatorial Problems, Combinator Equations and Normal Forms 1974 C.Bohm; M. Dezani
A Parenthesis Machine for String Manipulation 1974 M.Dezani
A Data Structure Formalization Through Generating Functions 1974 C. Bohm ; M. Dezani
Data Structures, their Transformations 1974 C. Bohm ; M. Dezani
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms 1974 M.Dezani ; M.Zacchi
Listing the Functional Digraph Structures 1974 C.Bohm; M.Dezani; S. Ronchi della Rocca
Lambda-terms as Total or Partial Functions on Normal Forms 1975 C.Bohm; M.Dezani
Notes on "A CUCH-machine: The Automatic Treatment of Bound Variables" 1975 C.Bohm; M.Dezani
Characterization of Normal Forms Possessing Inverse in lambda-beta-eta-calculus 1976 M. Dezani-Ciancaglini
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 Discrimination Algorithm inside Lambda-calculus 1978 C.Bohm; M.Dezani; P.Peretti; S. Ronchi della Rocca
Complexity of Lambda-terms Reductions 1979 M.Dezani; S.Ronchi della Rocca; L.Saitta
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus 1979 M. Coppo;M. Dezani;P. Salle
Principal type-schemes and lambda-calculus semantics 1980 M. Coppo; M. Dezani; B. Venneri
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
Mostrati risultati da 1 a 20 di 213
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