Login / Signup
Bisimulation as path type for guarded recursive types.
Rasmus Ejlers Møgelberg
Niccolò Veltri
Published in:
CoRR (2018)
Keyphrases
</>
multiple types
search space
special features
real time
data sets
databases
neural network
computer vision
np hard
shortest path
recursive algorithm