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