Journal:Advanced Engineering Materials ISSN No.:1438-1656 Translation or Not:no Date of Publication:2016-04-01 Indexed by:期刊论文
Pre One:A Proof-Theoretic Characterization of Independence in Type Theory
Next One:Towards Extracting Explicit Proofs from Totality Checking in Twelf