@article{SUGITOYoshio:1999-03-19, author="SUGITO, Yoshio", title="On the Diagrammatical Representation for λ-Expressions and its Calculation via Graph Transformation System", journal="Technical report of IEICE. SS", ISSN="", publisher="The Institute of Electronics, Information and Communication Engineers", year="1999", month="mar", volume="98", number="676", pages="17-24", URL="http://ci.nii.ac.jp/naid/110003277022/en/", DOI="", }