TY  - RPRT
TI  - Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions
AU  - Serguei A. Mokhov
AU  - Joey Paquet
PY  - 2009
DO  - 10.1109/sera.2010.23
UR  - https://arxiv.org/abs/0906.3911
ID  - 0906.3911
ER  -