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

单词	Martin-Lof's type theory
释义	Martin-Lof's type theory 释义 [计]马丁·洛夫类型理论，马丁·洛夫类型论行业词典计算机马丁·洛夫类型理论，马丁·洛夫类型论???
随便看	al isawiyah Alisdair alisdairs ALISE Aliseda aliseptal Alise-Ste-Reine aliseum alish Alisha ali shah Ali Shan Alishan Alishan melon seed Alishan Township Alisher Ali shuffle al iskandar Al-Iskandariyah al iskandariyah aliskandariyah Al Iskandaryah Aliskerovo aliskiren al-islam

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

Martin-Lof's type theory