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.

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts

Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet. Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. In Orna Kupferman, Pawel Sobocinski 0001, editors, Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Volume 13992 of Lecture Notes in Computer Science, pages 24-45, Springer, 2023. [doi]

Authors

Daniel Hirschkoff

This author has not been identified. Look up 'Daniel Hirschkoff' in Google

Guilhem Jaber

This author has not been identified. Look up 'Guilhem Jaber' in Google

Enguerrand Prebet

This author has not been identified. Look up 'Enguerrand Prebet' in Google
runs on