"Hiroki JOKO,Shin-ya NISHIZAKI","First-class Environments in Categorical Combinators",,"Theory And Practice Of Computation-Proceedings Of Workshop On Computation: Theory And Practice WCTP2016","World Scientific",,,"pp. 28-43",2017,Oct.