Archive for William W. Wadge 2010

Wadge index
Cartesian index
Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge.
Extensional Higher-Order Logic Programming.
In Logics in Artificial Intelligence. Lecture Notes in Computer Science. Vol. 6341. pp.91--103. 2010.