A bisimulation for type abstraction and recursion.

Eijiro Sumii Benjamin C. Pierce

Published in: POPL (2005)

Keyphrases

deductive databases
databases
computer vision
high level
information retrieval
search engine
website
reinforcement learning