著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Typed Lambda Calculi and Applications and Dezani-Ciancaglini, Mariangiola and Plotkin, G. (Gordon)","Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings",,Springer-Verlag,1995,Lecture notes in computer science,,354059048X,,https://cir.nii.ac.jp/crid/1130000797423107840