Bisimulation as path type for guarded recursive types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Rasmus Ejlers Møgelberg, Niccolò Veltri. Bisimulation as path type for guarded recursive types. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

@article{MogelbergV19,
  title = {Bisimulation as path type for guarded recursive types},
  author = {Rasmus Ejlers Møgelberg and Niccolò Veltri},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3290317},
  researchr = {https://researchr.org/publication/MogelbergV19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
}

runs on WebDSL