归纳证明在类型理论中的应用研究 https://kns.cnki.net/kcms/detail/detail.aspx?filename=JSKX201502025&dbcode=CJFD&dbname=CJFD2015&v= - Githubissues

zzz6519003 / blog

My blog about coding

4 stars 1 forks source link

归纳证明在类型理论中的应用研究 https://kns.cnki.net/kcms/detail/detail.aspx?filename=JSKX201502025&dbcode=CJFD&dbname=CJFD2015&v= #130

Open zzz6519003 opened 4 years ago

zzz6519003 commented 4 years ago

https://kns.cnki.net/kcms/detail/detail.aspx?filename=JSKX201502025&dbcode=CJFD&dbname=CJFD2015&v=