|
ミヨシ ヒロユキ
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 |