Return to Article Details Ternary relational semantics and beyond: programs as arguments (data) and programs as functions (programs). Download Download PDF