External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Bidirectional Krivine Evaluator

Mikaël Mayer, Ravi Chugh. A Bidirectional Krivine Evaluator. In James Cheney, Hsiang-Shang Ko, editors, Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. Volume 2355 of CEUR Workshop Proceedings, pages 56-60, CEUR-WS.org, 2019. [doi]

Authors

Mikaël Mayer

This author has not been identified. Look up 'Mikaël Mayer' in Google

Ravi Chugh

This author has not been identified. Look up 'Ravi Chugh' in Google
runs on