您要查找的是不是：
- He court disaster by get mixed up with criminal types. 他因与犯罪分子鬼混而招致灾祸。
- He courted disaster by getting mixed up with criminal types. 他因与犯罪分子鬼混而招致灾祸。
- 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. 一个基本区别是外延和内涵的类型论。
- I was so sorry to hear that Tony had been travelling with those criminal types. 听说托尼一直跟犯罪分子有来往，我感到很遗憾。
- 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. 在外延类型论中定义性(就是计算性)等式不区别于需要证明的命题性等式。
- I was sorry to hear that your son had been travelling with those criminal types. 我很遗憾听说你儿子与那些罪犯有来往。
- 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. 由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
- They denounced him to the police as a criminal. 他们向警方告发他是罪犯。
- 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. 相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
- I was so sorry to hear that your son had been traveling with those criminal types. 听说你的儿子一直与那些罪犯同流合污, 为此我感到很难过。
- 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. 这是目前对这种折中是否是不可避免的和在内涵类型论中缺乏外延原理是一个特色还是一个缺陷的讨论的一个主题。
- The hungry criminal came out of his hiding place. 饥饿的罪犯离开了他的藏身之所。
- 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. 人的性格倾向，就象分别使用自己的两只手写字一样，都可以写出来，但惯用的那只写出的会比另一只更好。
- The criminal disposed of the witness to the crime. 罪犯将他犯罪的目击者杀死了。
- The police disarmed the criminal. 警察缴下了罪犯的枪械。
- The lineament of the criminal has been found. 罪犯的特征已经找到了。
