Switch to: Citations

Add references

You must login to add references.
  1. Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.
    Download  
     
    Export citation  
     
    Bookmark   9 citations