TY  - RPRT
TI  - Extensional Higher-Order Logic Programming
AU  - A. Charalambidis
AU  - K. Handjopoulos
AU  - P. Rondogiannis
AU  - W. W. Wadge
PY  - 2011
UR  - https://arxiv.org/abs/1106.3457
ID  - 1106.3457
ER  -