@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00052609,
 author = {由水, 輝},
 month = {Nov},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学教授 小林 直樹, 東京大学教授 萩谷 昌己, 東京大学教授 今井 浩, 国立情報学研究所教授 高野 明彦, 東京大学准教授 吉本 芳英},
 title = {Geometry of Parallelism : A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine},
 year = {2017}
}