@misc{indiciaea050d5e04b45,
  title = {A Logical Foundation for Environment Classifiers},
  author = {Takeshi Tsukada and Atsushi Igarashi},
  year = {2010},
  doi = {10.2168/lmcs-6(4:8)2010},
  url = {https://arxiv.org/abs/1010.3806},
  note = {Source identifier: 1010.3806}
}