## Klaus Aehlig

*A Finite Semantics of Simply-Typed λ Terms for Infinite Runs of Automata*

CSL, 2006.

@inproceedings{CSL-2006-Aehlig, author = "Klaus Aehlig", booktitle = "{Proceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic}", doi = "10.1007/11874683_7", isbn = "3-540-45458-6", pages = "104--118", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Finite Semantics of Simply-Typed λ Terms for Infinite Runs of Automata}", volume = 4207, year = 2006, }