基本解释勒圖澤同根派生 Letouzey相关词英汉例句Letouzey P.A New Extraction for Coq.Types for Proofs and Programs,Second InternationalWorkshop.Springer-Verlag,2003 蔣慧;林東;孫泉;謝希仁.;搆造類型論與計算機程序設計Letouzey更多例句