Switch to: Citations

Add references

You must login to add references.
  1. The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
    Download  
     
    Export citation  
     
    Bookmark   9 citations