著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Steffen Van Bakel,Strict intersection types for the Lambda Calculus,ACM Computing Surveys,0360-0300,Association for Computing Machinery (ACM),2011-04,43,3,1-49,https://cir.nii.ac.jp/crid/1362825895551575552,https://doi.org/10.1145/1922649.1922657