Colin Stirling Higher-Order Matching and Games. 119-134 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_10 db/conf/csl/csl2005.html#Stirling05