您要查找的是不是：
- A fundamental distinction is extensional vs intensional Type Theory. 一个基本区别是外延和内涵的类型论。
- 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. 这是目前对这种折中是否是不可避免的和在内涵类型论中缺乏外延原理是一个特色还是一个缺陷的讨论的一个主题。
- Looking from the procedure and tendency of agriculture development, agriculture necessarily head for the intensive type management. 摘要从农业发展过程和发展趋势看，农业必然要走向集约型规模经营。
- So the aggressive development labors an intensive type industry, for the exertive advantage, Yang long avoid short, help the economic development to be meaningful. 所以积极发展劳动密集型产业，对于发挥优势，扬长避短，促进经济发展是有意义的。
- Only diversified forms of education and training, the road to intension type manpower capital enlarged reproduction, could offer manpower for building the well-off society in an all-round way. 只有开展多种形式的教育培训,走内涵式人力资本扩大再生产的道路,才能为全面建设小康社会提供人力支撑。
- Recently? our country livestock husbandry development quick? head for gradually the industry turn? increasing the way be put by traditional expand production type face modern intensive type change. 目前,我国畜牧业发展迅速,逐步走向产业化,增长方式由传统的粗放型向现代的集约型转变。
- 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. 本词典的词条用的是粗体字。
- He devises a new type of transistor. 他发明了一种新的晶体管。
- This type of bulb screws into the socket. 这种灯是拧到灯座上的。
- At least eight inten students are shortsighted. 十个学生中至少有八个近视。可以用,意思一样
- This type of bicycle is up to date. 这种款式的脚踏车是最新式的。
- I don't think she's the artistic type. 我认为她不属艺术家那类的人。
- She is not the type of girl that Daniel goes for. 她不是丹尼尔追求的那种女孩子。
- Could you type this letter for me? 你能为我打这封信吗？
- A new type of car is on the market now. 现在一种新型小汽车正在上市。
- The new type of bus comes into service next month. 下月这种新型公共汽车即可投入运行。
- This sentence is in italic type. 本句是用斜体字印刷的。
