Switch to: Citations

Add references

You must login to add references.
  1. Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • (1 other version)The Calculi of Lambda-Conversion.Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-171.
    Download  
     
    Export citation  
     
    Bookmark   56 citations