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

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

finite automata
higher order
logic programming
finite sets
lambda calculus
neural network
query answering
finite number
formal semantics
predicate calculus
proof theory