Combinatory logic

出版社:Amsterdam : North-Holland pub. co., 1958.,Amsterdam, North-Holland Pub. Co., 1958.
出版年:1958
作者:Curry,Haskell B.
资源类型:图书
细分类型:西文文献,馆内阅览
相关推荐

Combinatory logic

  • 作者:Curry,Haskell B.
  • ISBN:赠阅
  • 出版社:Amsterdam, North-Holland Pub. Co., 1958.
  • 出版年:1958

Introduction to combinatory logic

  • 作者:Hindley,J. Roger.
  • ISBN:0521096979
  • 出版社:Cambridge [Eng.] University Press, 1972.
  • 出版年:1972

Combinatory logic, v. 2

  • 作者:Curry,Haskell B.
  • 出版社:Amsterdam : North-Holland pub. co., 1972.
  • 出版年:1972

Combinatory logic : pure, applied and typed

  • 作者:Bimbó,Katalin,
  • ISBN:9781439800003
  • 出版社:Boca Raton, FL : CRC Press, 2012.
  • 出版年:2012

To Haskell B. curry : Essays on combinatory logic, lambda calculus and formalism

  • 作者:Seldin,J.P.,
  • ISBN:0000000000
  • 出版社:London : Academic Pr., 1980.
  • 出版年:1980

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism

  • 作者:Curry,Haskell B.
  • ISBN:0123490502
  • 出版社:London ; New York : Academic Press, 1980.
  • 出版年:1980