Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"今井, 敬吾",有界な余帰納的定義による非同期マルチパーティセッション型の無限トレース意味論,情報処理学会論文誌プログラミング（PRO）,1882-7802,,2023-06-29,16,2,32-32,https://cir.nii.ac.jp/crid/1050296666091872000,