Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing
Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing
复制标题
超越极性：迈向共享的多学科中间语言
DOI：
10.4230/lipics.csl.2018.21
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Ariola, Z.M.
中科院分区：
文献类型：
--
作者：
Downen, P;Ariola, Z.M.
登录
查看更多内容
程序和证明的非关联组合的语法和模型。
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Guillaume Munch
通讯作者：
Guillaume Munch
经典的按需呼叫和二元性
DOI：
--
发表时间：
2011
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
Z. Ariola;Hugo Herbelin;A. Saurin
通讯作者：
A. Saurin
影响因子：
1.1
作者：
DOWNEN, PAUL;ARIOLA, ZENA M.
通讯作者：
ARIOLA, ZENA M.
评估顺序和模式匹配的逻辑基础
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
F. Pfenning;Peter Lee;N. Zeilberger
通讯作者：
N. Zeilberger
论二元性的统一
影响因子：
0.8
作者：
N. Zeilberger
通讯作者：
N. Zeilberger