TY  - RPRT
TI  - A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
AU  - Serguei A. Mokhov
AU  - Joey Paquet
PY  - 2009
UR  - https://arxiv.org/abs/0906.3919
ID  - 0906.3919
ER  -