类型理论 meaning in Chinese
type theory
Examples
- This essay employs thomas schatz ' s genre theory to examine the huangmei opera film genre
本篇文章是采用汤玛斯?雪兹的电影类型理论来检验黄梅调电影。 - Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。 - A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。 - Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。 - The text type theory , which is an important breakthrough and a significant complement of the traditional translation " equivalence principle " , is based on the divisions of text functions
摘要文本类型理论建立在以文本功能为划分标准的基础之上，是对传统翻译等值观的一个重要突破和重要补充。