Search results for "Linear Exponential Comonad" | NDL Search

Search results 1

Group by title

Digital文書・図像類

吹原, 耀司, 勝股, 審也Research Institute for Mathematical Sciences, Kyoto University2020-11p.1-34

Available onlineOther Libraries in Japan

Summary, etc....roduce indexed linear exponential comonads (ILEC for sho......ring of graded linear exponential comonads to the 2-category Idx, which...
Subject HeadingLinear Logic Categorical Semantics Linear Exponential Comonad Graded Comonad

Reached to the end of result.

RSS