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

The calculi of lambda-conversion
出版社：Princeton : Princeton university press ; London : H. Milford, Oxford university press, 1941.,Princeton : Prinocton University Press, 1941
出版年：1941
作者：Church,Alonzo
资源类型：图书
细分类型：馆内阅览,西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Domains and lambda-calculi
  • 作者：Amadio,Roberto M.
  • ISBN：0521062926
  • 出版社：Cambridge, U.K. ; New York : Cambridge University Press, 1998, 2008, printing.
  • 出版年：1998
...

Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Appli
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：3540565175
  • 出版社：Berlin ; New York : Springer-Verlag, c1993.
  • 出版年：1993
...

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, The Net
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783642389450
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：3540255931
  • 出版社：Berlin : Springer, c2005.
  • 出版年：2005
...

Rewriting and typed lambda calculi : joint international conferencs, RTA-TLCA 2014, held as part of
  • 作者：International Conference on Rewriting Techniques and Applications
  • ISBN：9783319089171
  • 出版社：Cham : Springer, c2014.
  • 出版年：2014
...

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia,
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783642216909
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011