"Shota Araki,Shin-ya Nishizaki","CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI","Third Workshop on Computing: Theory and Practice, WCTP 2013","Theory and Practice of Computation","World Scientific",,,"pp. 1-14",2014,Nov.