コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 英語
発行・発表の年月 1994/08
形態種別 研究論文
査読 査読あり
標題 Realizability Interpretation of Generalized Inductive Definitions
執筆形態 共著
掲載誌名 Theoretical Computer Science
掲載区分国外
出版社・発行元 Elsevier
巻・号・頁 131(1),pp.121-138
総ページ数 18
著者・共著者 Satoshi Kobayashi and 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.
ISSN 0304-3975