コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 英語
発行・発表の年月 1994/08
形態種別 その他
標題 REALIZABILITY INTERPRETATION OF GENERALIZED INDUCTIVE DEFINITIONS
執筆形態 その他
掲載誌名 THEORETICAL COMPUTER SCIENCE
出版社・発行元 ELSEVIER SCIENCE BV
巻・号・頁 131(1),pp.121-138
著者・共著者 S KOBAYASHI,M 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.
DOI 10.1016/0304-3975(94)90092-2
ISSN 0304-3975