@inproceedings{CTT100649663,
  author = {Shin-ya Nishizaki and Mizuki Fujii},
  title = {Strong Reduction for Typed Lambda Calculus with First-Class Environments},
  booktitle = {Information Computing and Applications, Lecture Notes in Computer Science},
  year = 2013,
}

@inproceedings{CTT100596948,
  author = {藤井みづき and 西崎真也 and 池田立野},
  title = {プロセス生成コスト解析するためのプロセス計算},
  booktitle = {日本ソフトウェア科学会第24 回大会論文集},
  year = 2007,
}