Jump to main content

yr 〜
yr

Search results 3

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 Categor...

Coherence Spaces and Uniform Continuity

Coherence Spaces and Uniform Continuity
Digital博士論文障害者向け資料あり
Matsumoto, Kei2017-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Headingcoherence spaces linear logic uniform spaces uniform contin...

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 ...

Reached to the end of result.

RSS