Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida Kohei Honda Martin Berger

Published in: FoSSaCS (2007)

Keyphrases

higher order
logical reasoning
formal semantics
high order
real time
data structure
conditional random fields
database
databases
artificial intelligence
computer vision
image segmentation
state space