年 〜
年

検索結果 1 件

Generalized Bounded Linear Logic and its Categorical Semantics

Generalized Bounded Linear Logic and its Categorical Semantics
デジタル文書・図像類
吹原, 耀司, 勝股, 審也Research Institute for Mathematical Sciences, Kyoto University2020-11p.1-34
インターネットで読める全国の図書館
  • 要約等...roduce indexed linear exponential comonads (ILEC for sho......ring of graded linear exponential comonads to the 2-category Idx, which...
  • 件名Linear Logic Categorical Semantics Linear Exponential Comonad Graded Comonad

検索結果は以上です。