著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
D. Sangiorgi,The Lazy Lambda Calculus in a Concurrency Scenario,Information and Computation,0890-5401,Elsevier BV,1994-05,111,1,120-153,https://cir.nii.ac.jp/crid/1362825895576318208,https://doi.org/10.1006/inco.1994.1042