Switch to: Citations

Add references

You must login to add references.
  1. A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Definierbare Funktionen imλ-Kalkül mit Typen.Helmut Schwichtenberg - 1975 - Archive for Mathematical Logic 17 (3-4):113-114.
    Download  
     
    Export citation  
     
    Bookmark   6 citations