A Higher-Order Simulation Relation for System F.

Jo Erskine Hannay

Published in: FoSSaCS (2000)

Keyphrases

higher order
pairwise
low order
object recognition
simulation model
real world
three dimensional
mobile robot
markov random field
simulation study
numerical simulations
mathematical models
simulation environment
simulation models