常见例句Letouzey P.A New Extraction for Coq.Types for Proofs and Programs,Second InternationalWorkshop.Springer-Verlag,2003 蔣慧;林東;孫泉;謝希仁.;搆造類型論與計算機程序設計 返回 Letouzey