"Shin-ya Nishizaki,Mizuki Fujii","Strong Reduction for Typed Lambda Calculus with First-Class Environments","The 3rd International Conference on Information Computing and Applications, ICICA 2012","Information Computing and Applications, Lecture Notes in Computer Science","Springer Berlin Heidelberg","Vol. 7473",,"pp. 632-639",2013,Sept.
"藤井みづき,西崎真也,池田立野","プロセス生成コスト解析するためのプロセス計算",,"日本ソフトウェア科学会第24 回大会論文集","日本ソフトウェア科学会",,,,2007,Sept.