External and Internal Syntax of the Lambda-Calculus
External and Internal Syntax of the Lambda-Calculus
复制标题
Lambda 演算的外部和内部语法
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
佐藤雅彦
中科院分区：
文献类型：
--
作者：
Higa Y;Nguyen T.Y;Kawada H;Tran H.S;Nguyen T.H;Takagi M.;佐藤雅彦
登录
查看更多内容
DOI：
10.1145/1147954.1147961
发表时间：
2005-08
期刊：
--
影响因子：
--
作者：
A. Pitts
通讯作者：
A. Pitts
DOI：
--
发表时间：
2008
期刊：
Journal of Intelligent Information System 31
影响因子：
--
作者：
Higa Y;Nguyen T. Y;Kawada H;TranH. S;Nguyen T. H;Takagi M.;佐藤雅彦
通讯作者：
佐藤雅彦
DOI：
10.1016/0304-3975(82)90028-7
发表时间：
1982
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
F. Sadri;J. Ullman
通讯作者：
J. Ullman
DOI：
10.1016/b978-0-12-450010-5.50027-x
发表时间：
1991
期刊：
--
影响因子：
--
作者：
M. Sato
通讯作者：
M. Sato
DOI：
--
发表时间：
2012
期刊：
Journal of automated reasoning
影响因子：
--
作者：
R. Pollack;M. Sato;W. Ricciotti
通讯作者：
W. Ricciotti