您要查找的是不是：
- Programming in Martin-Lofs Type Theory an Introduction II. 类型论程序设计导引2。
- Condensation melts to deploy , practical type theory. 简约化配置、实用型理念。
- A fundamental distinction is extensional vs intensional Type Theory. 一个基本区别是外延和内涵的类型论。
- The handling of faults in the originals with Newmark's text type theory is analyzed. 用纽马克的文本分类法来分析对不同原文失误的处理策略。
- Explorations of Ancient Chinese Thinkers remarks of on personality include Type theory and Realm theory. 摘要中国古代思想家对人格的论述包括类型说与境界说。
- In extensional Type Theory definitional (i.e. computational) equality is not distinguished from propositional equality, which requires proof. 在外延类型论中定义性(就是计算性)等式不区别于需要证明的命题性等式。
- 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. 由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
- In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning. 相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
- It is a subject of current discussion whether this tradeoff is unavoidable and whether the lack of extensional principles in intensional Type Theory is a feature or a bug. 这是目前对这种折中是否是不可避免的和在内涵类型论中缺乏外延原理是一个特色还是一个缺陷的讨论的一个主题。
- MBTI is based on Jung's psychological type theory into a book, has become the authoritative personality test, Psytopic specially produced this online test, hoping to help some friends. 人的性格倾向，就象分别使用自己的两只手写字一样，都可以写出来，但惯用的那只写出的会比另一只更好。
- While Lao Ssu-kwang oppugns the theoretical effectiveness of any theory of value basing on "being", and put forward the "One Strand with Three types Theory" for Neo-Confucianism. 而劳思光质疑任何诉诸“存有”之价值学说的理论效力，提出宋明儒学“一系三型说”。
- AN INHERITANCE MECHANISM WITH TYPE THEORY 基于类型理论的继承机制的研究
- Blood type theory of temperament 气质血型说
- Translation and the Text Type Theory 文本类型理论与翻译
- Imperative Operational Semantics in Type Theory 命令的操作语义在类型系统中的一种表示
- Text Type Theory and the Translation of Poetry 文本类型理论与诗歌翻译
- physical type theory of personality 人格体质类型说
- In a printer, the removable type element. 印刷机上可拆卸的打印部件。
- Do you type the letter or take a rest? 你打信呢，还是休息呢？
- The headwords in this dictionary are in bold type. 本词典的词条用的是粗体字。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
