登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
The lambda calculus : its syntax and semantics
出版社:
Amsterdam ; New York : North-Holland ; New York, N.Y : Sole distributors for the U.S.A. and Canada,
ISBN:
0444875085
出版年:
1984
作者:
Barendregt,H. P.
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
The lambda calculus : its syntax and semantics
作者:
Barendregt,H. P.
ISBN:
0444854908
出版社:
Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Cana
出版年:
1981
Syntax and semantics
作者:
Sadock,Jerrold M.,
出版社:
New York : Academic Pr., 19 -
Formal syntax and semantics of Java
作者:
Alves-Foss,Jim
ISBN:
3540661581
出版社:
Berlin ; New York : Springer, 1999.
出版年:
1999
Programming language syntax and semantics
作者:
Watt,David A.
ISBN:
90025208
出版社:
Englewood Cliffs, N.J. : Prentice Hall, c1990.
出版年:
1991
Semantics and syntax : parallels and connections
作者:
Miller,J. E.
ISBN:
0521262658
出版社:
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
出版年:
1985
The Syntax and semantics of infinitary languages
作者:
Barwise,Jon,
出版社:
Berlin ; New York [etc.] : Springer-Verlag, 1968.
出版年:
1968
×
访问借阅管理系统