Login / Signup
Bisimulation as path type for guarded recursive types.
Rasmus Ejlers Møgelberg
Niccolò Veltri
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
multiple types
social networks
real time
search engine
decision making
shortest path