Login / Signup

Bisimulation as path type for guarded recursive types.

Rasmus Ejlers MøgelbergNiccolò Veltri
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • multiple types
  • social networks
  • real time
  • search engine
  • decision making
  • shortest path