Klaus Aehlig A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. 104-118 2006 conf/csl/2006 CSL http://dx.doi.org/10.1007/11874683_7 db/conf/csl/csl2006.html#Aehlig06