Step-indexed kripke models over recursive worlds.

Lars Birkedal Bernhard Reus Jan Schwinghammer Kristian Støvring Jacob Thamsborg Hongseok Yang

Published in: POPL (2011)

Keyphrases

high level
artificial intelligence
post processing
search algorithm