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

Published in: CSL (2006)

Keyphrases

finite automata
lambda calculus
formal semantics
finite sets
database
data sets
information retrieval
search engine
database systems
higher order