査読有り 2005年3月 メタプログラミングのための時相論理に基づく型付λ計算 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集 湯瀬 芳洋, 五十嵐 淳 開始ページ 57 終了ページ 73 記述言語 日本語 掲載種別 研究論文(研究会,シンポジウム資料等) エクスポート BibTeX RIS