Archive for William W. Wadge 1999

Wadge index
Cartesian index
Panos Rondogiannis, William W. Wadge.
Higher-Order Functional Languages and Intensional Logic.
Journal of Functional Programming 9(5):527--564, 1999.