"奥河諒,青谷知幸,増原英彦","証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究",,"第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)",,,,,2017,Mar.
"奥河諒,青谷知幸,増原英彦","Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク","第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)",,,,,,2016,