英语词汇“Martin-Lof's type theory”的中英文释义、用法、翻译及短语词组-英汉翻译词典

单词	Martin-Lof's type theory
释义	Martin-Lof's type theory 释义 [计]马丁·洛夫类型理论，马丁·洛夫类型论行业词典计算机马丁·洛夫类型理论，马丁·洛夫类型论???
随便看	be like be like a bear with a sore head be like a cat on a hot tin roof be like a fish out of water be like a red rag to a bull be like a waxen image be like a waxwork be like chalk and cheese beliked be like feeding time at the zoo be like gold dust belikely be likely of success be likely to be likely to happen be like nothing on earth belikes be like shooting fish in a barrel be like sisters be like taking candy from a baby be like talking to a brick wall be like to do beliking belikov belikova

英汉翻译词典包含4367426条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。

Martin-Lof's type theory