搜索结果: 1-2 共查到“理学 Categorical Outlook”相关记录2条 . 查询时间(0.046 秒)
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g.,
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comonads.