functor -category semantics developed by Reynolds [4] and. Oles [5, 6]. An alternative approach using category theory to struc-.
確定! 回上一頁