ミヨシ ヒロユキ   MIYOSHI HIROYUKI
  三好 博之
   所属   京都産業大学  理学部 数理科学科
   職種   教授
言語種別 英語
発行・発表の年月 1996
形態種別 その他
標題 Modelling Conditional Rewriting Logic in Structured Categories
執筆形態 その他
掲載誌名 Electronic Notes in Theoretical Computer Science
巻・号・頁 4(C),pp.20-34
著者・共著者 Hiroyuki Miyoshi
概要 We reformulate and generalize the functorial model of Meseguer's conditional full rewriting logic by using inserter, a weighted limit in 2-categories. Indeed 2-categories are categories enriched in Cat. Therefore this method also can be extended to sesqui-categories and other enriched categories, with which we can model various aspects of rewritings and strategies. © 2000.
DOI 10.1016/S1571-0661(04)00031-3
ISSN 1571-0661