Login / Signup
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Klaus Aehlig
Published in:
CoRR (2007)
Keyphrases
</>
finite automata
higher order
logic programs
logic programming
lambda calculus
database
search engine
database systems
reinforcement learning
markov chain
cellular automata
finite sets
fixed order