A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata.

Klaus Aehlig

Browse the full CSL paper archive.