首页
期刊导航
期刊检索
论文检索
新闻中心
期刊
期刊
论文
首页
>
《材料科学前沿:英文版》
>
2011年3期
>
Static typing for a substructural lambda calculus
Static typing for a substructural lambda calculus
打印
分享
在线阅读
下载PDF
导出详情
摘要
未填写
DOI
6jry13mxd5/1004839
作者
Baojian HUA
机构地区
不详
出处
《材料科学前沿:英文版》
2011年3期
关键词
类型系统
种子结构
静态控制
演算
结构类型
语义框架
分类
[一般工业技术][材料科学与工程]
出版日期
2011年03月13日(中国期刊网平台首次上网日期,不代表论文的发表时间)
相关文献
1
陆汝占;张政;等.
Construction of the Model of the Lambda Calculus System with Algebraic Operators
.计算机科学与技术,1991-01.
2
ZHOUYangmei;LIUJingnan.
Another Form for LAMBDA Method
.测绘科学与技术,2003-03.
3
James M. TIEN Daniel BERG.
A CALCULUS FOR SERVICES INNOVATION
.系统科学,2007-02.
4
刘伟国;裘五四;沈宏;王卫民.
Management of posttraumatic brain swelling based on:linical typing
.临床医学,2004-03.
5
徐贤.
Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
.计算机科学与技术,2009-01.
6
Fei Xue;Lili Zhang;Jiechang Wen;Zhenyou Wang.
Flipping Calculus Using Mobile Technology
.教育学,2016-10.
7
Xiaolan Ao.
Effective Communication With USA and China Community Leaders: Using Psychological Typing Analysis
.政治学,2013-02.
8
XIE Zheng;YE Zheng;MA Yu-Jie.
Numerical Simulation of Antennae by Discrete Exterior Calculus
.物理,2009-12.
9
Ricardo Almeida;Rui A. C. Ferreira;Delfim F. M. Torres.
ISOPERIMETRIC PROBLEMS OF THE CALCULUS OF VARIATIONS WITH FRACTIONAL DERIVATIVES
.基础数学,2012-02.
10
Mohamed KHARRAT.
Pricing American Options using the Malliavin Calculus
.基础数学,2013-11.
来源期刊
材料科学前沿:英文版
2011年3期
相关推荐
CALCULUS ON CANTOR TRIADIC SET (Ⅱ)—EXCEPTIONAL SET
On Problems in the Calculus of Variations in Increasingly Elongated Domains
Research on new software compensation method of static and quasi-static errors for precision motion controller
THE CALCULUS OF GENERATING FUNCTIONS AND THE FORMAL ENERGY FOR HAMILTONIAN ALGORITHMS
A Formal Software Development Approach Using Refinement Calculus
同分类资源
更多
[材料科学与工程]
化工巨头蓝星集团在沈阳化工投资75个亿
[材料科学与工程]
美科学家揭示出石墨烯材料内在特性
[材料科学与工程]
政策
[材料科学与工程]
镓
[材料科学与工程]
日美巨头合作进行纳米技术研究
相关关键词
类型系统
种子结构
静态控制
演算
结构类型
语义框架
返回顶部