@inproceedings{CTT100783260,
  author = {奥河諒 and 青谷知幸 and 増原英彦},
  title = {証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100719017,
  author = {奥河諒 and 青谷知幸 and 増原英彦},
  title = {Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク},
  booktitle = {},
  year = 2016,
}