@inproceedings{CTT100771289,
  author = {Hiroki JOKO and Shin-ya NISHIZAKI},
  title = {First-class Environments in Categorical Combinators},
  booktitle = {Theory And Practice Of Computation-Proceedings Of Workshop On Computation: Theory And Practice WCTP2016},
  year = 2017,
}