Extensional Higher-Order Logic Programming.

Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge

Browse the full JELIA paper archive.