A fundamental distinction is extensional vs intensional Type Theory.

 
  • 一個(gè)基本區別是外延和內涵的類(lèi)型論。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan