登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

To Haskell B. curry : Essays on combinatory logic lambda calculus and formalism
出版社：London : Academic Pr., 1980.
ISBN：0000000000
出版年：1980
作者：Seldin,J.P.,
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
  • 作者：Curry,Haskell B.
  • ISBN：0123490502
  • 出版社：London ; New York : Academic Press, 1980.
  • 出版年：1980
...

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

Combinatory logic
  • 作者：Curry,Haskell B.
  • 出版社：Amsterdam : North-Holland pub. co., 1958.,Amsterdam, North-Holland Pub. Co., 1958.
  • 出版年：1958
...

Introduction to combinatory logic
  • 作者：Hindley,J. Roger.
  • ISBN：0521096979
  • 出版社：Cambridge [Eng.] University Press, 1972.
  • 出版年：1972
...

From lambda calculus to cybersecurity through program analysis : essays dedicated to Chris Hankin on
  • 作者：Di Pierro,Alessandra,
  • ISBN：9783030411022
  • 出版社：Cham : Springer, 2020.
  • 出版年：2020
...

Combinatory logic : pure, applied and typed
  • 作者：Bimbó,Katalin,
  • ISBN：9781439800003
  • 出版社：Boca Raton, FL : CRC Press, 2012.
  • 出版年：2012