Klaus Aehlig A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of<br> Automata http://arxiv.org/abs/0706.2076 2007 CoRR abs/0706.2076 db/journals/corr/corr0706.html#abs-0706-2076 informal publication