Works by M. Coppo

( view other items matching `M. Coppo`, view all matches )
4 found
Order:
Disambiguations
M. Coppo [4]Mario Coppo [1]
  1.  47
    A Filter lambda model and the completeness of type assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  2.  29
    Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  28
    Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  37
    An extension of the basic functionality theory for the $\lambda$-calculus.M. Coppo & M. Dezani-Ciancaglini - 1980 - Notre Dame Journal of Formal Logic 21 (4):685-693.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations