@misc{indiciae291c24b9b0b1,
  title = {A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY},
  author = {Serguei A. Mokhov and Joey Paquet},
  year = {2009},
  url = {https://arxiv.org/abs/0906.3919},
  note = {Source identifier: 0906.3919}
}