on the expressive power of schemes
文献类型：期刊论文
| 作者 | Dowek Gilles ; Jiang Ying |
| 刊名 | Information and Computation
 |
| 出版日期 | 2011 |
| 卷号 | 209期号:9页码:1231-1245 |
| 关键词 | Biomineralization Pathology Syntactics |
| ISSN号 | 8905401 |
| 英文摘要 | We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike λ-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names are introduced for the hypotheses. We show that despite its non-determinism, some typed scheme-calculi have the same expressivity as the corresponding typed λ-calculi. © 2011 Elsevier Inc. |
| 收录类别 | EI |
| WOS记录号 | WOS:000294315300003 |
| 公开日期 | 2011-10-10 |
| 源URL | [http://124.16.136.157/handle/311060/14017]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | Dowek Gilles,Jiang Ying. on the expressive power of schemes[J]. Information and Computation,2011,209(9):1231-1245. |
| APA | Dowek Gilles,&Jiang Ying.(2011).on the expressive power of schemes.Information and Computation,209(9),1231-1245. |
| MLA | Dowek Gilles,et al."on the expressive power of schemes".Information and Computation 209.9(2011):1231-1245. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。