著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
,"Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science",,,2013,,,,,https://cir.nii.ac.jp/crid/1020000782154328192