研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	1996/10
形態種別	学術雑誌
査読	査読あり
標題	Data Refinement for Call-By-Value Programming Lanuages
執筆形態	共著
掲載誌名	Lecture Notes in Computer Science (Springer-Verlag)
巻・号・頁	1683,562-576頁
著者・共著者	Yoshiki Kinoshita and A. John Power
概要	We give a category theoretic framework for data-refinement in call-by-value programming languages. One approach to data refinement for the simply typed lambda-calculus is given by generalising the notion of logical relation to one of lax logical relation, so that binary lax logical relations compose. So here, we generalise the notion of lax logical relation, defined in category theoretic terms, from the simply typed lambda-calculus to the computational lambda-calculus as a model of data refinement.