Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions.
Serguei A. Mokhov, Joey Paquet
Browse the full SERA paper archive.
Serguei A. Mokhov, Joey Paquet
Browse the full SERA paper archive.