|
コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡 所属 京都産業大学 情報理工学部 情報理工学科 職種 教授 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 1994/08/29 |
| 形態種別 | その他 |
| 標題 | Realizability interpretation of generalized inductive definitions |
| 執筆形態 | その他 |
| 掲載誌名 | Theoretical Computer Science |
| 巻・号・頁 | 131(1),pp.121-138 |
| 著者・共著者 | Satoshi Kobayashi,Makoto Tatsuta |
| 概要 | Generalized inductive definitions give a way of defining a predicate as the least solution P of the equation P↔A[P] where a predicate variable P may occur in a formula A[P] positively. This paper gives a q-realizability interpretation of generalized inductive definitions and proves the soundness of the interpretation. © 1994. |
| DOI | 10.1016/0304-3975(94)90092-2 |
| ISSN | 0304-3975 |