基本解釋勒?qǐng)D澤同根派生 Letouzey相關(guān)詞英漢例句Letouzey P.A New Extraction for Coq.Types for Proofs and Programs,Second InternationalWorkshop.Springer-Verlag,2003 蔣慧;林東;孫泉;謝希仁.;構(gòu)造類型論與計(jì)算機(jī)程序設(shè)計(jì)Letouzey更多例句