Switch to: Citations

Add references

You must login to add references.
  1. The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
    CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
    Download  
     
    Export citation  
     
    Bookmark   6 citations