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

Domains and lambda-calculi
出版社：Cambridge, U.K. ; New York : Cambridge University Press, 1998, 2008, printing.
ISBN：0521062926
出版年：1998
作者：Amadio,Roberto M.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The calculi of lambda-conversion
  • 作者：Church,Alonzo
  • 出版社：Princeton : Princeton university press ; London : H. Milford, Oxford university press, 1941.,Princeton : Prinocton University Press, 1941
  • 出版年：1941
...

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
...

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
...

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783540732273
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007