Pure Type System conversion is always typable

机译：纯类型系统转换总是可输入的

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Siles Vincent; Herbelin Hugo;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Pure Type System conversion is always typable [J] . VINCENT SILES, HUGO HERBELIN Journal of Functional Programming . 2012,第PTa2期

机译：纯类型系统转换总是可输入的
2. Type-checking injective pure type systems [J] . GILLES BARTHE Journal of Functional Programming . 1999,第期

机译：类型检查内射纯类型系统
3. A comparative study on chemical conversion of cellulose between the batch-type and flow-type systems in supercritical water [J] . Katsunobu Ehara, Shiro Saka Cellulose . 2002,第3a4期

机译：超临界水中纤维素在间歇式和流动式系统中化学转化的比较研究
4. Effects of pure-hydrogen and pure-argon plasmas on the near-surface type conversion of p-InP [C] . Gessert, T.A., Li, Indium Phosphide and Related Materials, 1992., Fourth International Conference on . 1992

机译：纯氢和纯氩等离子体对p-InP近表面类型转换的影响
5. Examining Degree of Quest in Christian Emerging Adults in Relation to Conversion Type and Conversion Period [D] . Millwee-Welch, Sarah. 2020

机译：关于转换型和转换期基督徒新兴成人的追求程度
6. Ab Initio Screening of Doped Mg(AlH4)2 Systems for Conversion-Type Lithium Storage [O] . Zhao Qian, Hongni Zhang, Guanzhong Jiang, 2019

机译：用于转化型锂存储的掺杂Mg（AlH4）2系统的从头算筛选
7. Pure Type System conversion is always typable [O] . Siles, Vincent, Herbelin, Hugo 2012

机译：纯类型系统转换总是可输入的
8. Type Inference Algorithm for Pure Type Systems [R] . Severi, P. 1995

机译：纯类型系统的类型推断算法

Pure Type System conversion is always typable

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅