著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) Robert Glück and Robin Kaarsgaard and Tetsuo Yokoyama,From reversible programming languages to reversible metalanguages,Theoretical Computer Science,0304-3975,Elsevier BV,2022-06,920,,46-63,https://cir.nii.ac.jp/crid/1360016863425798528,https://doi.org/10.1016/j.tcs.2022.02.024