Keyword:higher-order logic programming

Papers
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs Angelos Charalambidis, Panos Rondogiannis and Ioanna Symeonidou EasyChair Preprint no. 193