範疇語義

範疇語義

範疇語義(categorical semantics)是2018年公布的計算機科學技術名詞。

基本介紹

  • 中文名:範疇語義
  • 外文名:categorical semantics
  • 所屬學科:計算機科學技術
  • 公布時間:2018年
定義,出處,

定義

以範疇論為工具建立程式語言的語義理論。

出處

《計算機科學技術名詞 》第三版。

相關詞條

熱門詞條

聯絡我們