Jump to main content

yr 〜
yr

Search results 3

アローに対する代数的エフェクトとハンドラ

アローに対する代数的エフェクトとハンドラ
Digital博士論文障害者向け資料あり
Sanada, TakahiroKyoto University2024-03-25
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Headingalgebraic effect effect handler arrow promonad categorical semantics

Generalization of Bounded Linear Logic and its Categorical Semantics

Generalization of Bounded Linear Logic and its Categorical Semantics
Digital博士論文障害者向け資料あり
Fukihara, Yoji2021-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject HeadingBounded Linear Logic Categorical Semantics Category Theory

Generalized Bounded Linear Logic and its Categorical Semantics

Generalized Bounded Linear Logic and its Categorical Semantics
Digital文書・図像類
吹原, 耀司, 勝股, 審也Research Institute for Mathematical Sciences, Kyoto University2020-11p.1-34
Available onlineOther Libraries in Japan
  • Subject HeadingLinear Logic Categorical Semantics Linear Exponential Comonad Gr...

Reached to the end of result.

RSS