Higher-Order Matching, Games and Automata.

Colin Stirling

Browse the full LICS paper archive.