Publication | Closed Access

HiLog: A foundation for higher-order logic programming

Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceHigher-order LogicHigher-order Logic ProgrammingLogic Programming