Weak HOASを用いたFeatherweight JavaのCoq上での形式化 - 九大コレクション

＜研究報告書＞
Weak HOASを用いたFeatherweight JavaのCoq上での形式化

作成者	作成者名 Okumura, Kentaro 奥村, 健太郎オクムラ, ケンタロウ所属機関所属機関名京都大学 Kyoto University
本文言語	英語
出版者	九州大学マス・フォア・インダストリ研究所
出版者	Institute of Mathematics for Industry, Kyushu University
発行日	2015-03-06
収録物名	MI lecture note series
巻	61
開始ページ	88
終了ページ	95
出版タイプ	Version of Record
アクセス権	open access
関連DOI	http://www.imi.kyushu-u.ac.jp/
関連DOI	https://www.math.kyushu-u.ac.jp/
関連URI	http://www.imi.kyushu-u.ac.jp/
関連URI	https://www.math.kyushu-u.ac.jp/
関連情報	http://www.imi.kyushu-u.ac.jp/
関連情報	https://www.math.kyushu-u.ac.jp/

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p088	pdf	646 KB	158