Monthly Archives: November 2015

Wadge Degrees

When I was a young grad student at UC Berkeley, I invented what are now called “Wadge degrees”. Not to mention “Wadge reducibility”, “Wadge games”, “Wadge’s Lemma” and the “Wadge hierarchy”  (there’s a Wikipedia entry on the latter). “So”, I … Continue reading

Posted in research | Leave a comment

Lucid Meets Prolog

I remember when, a long time ago, Logic Programming was just starting out. The logic programmers would go to the functional programming gatherings and hang around the sidelines, hoping to convince everyone that logic programming was a kind of functional … Continue reading

Posted in research | 1 Comment