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 Faithful and Quantitative Notion of Distant Reduction for Generalized Applications

José Espírito Santo, Delia Kesner, Loïc Peyrot. A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications. In Patricia Bouyer, Lutz Schröder, editors, Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Volume 13242 of Lecture Notes in Computer Science, pages 285-304, Springer, 2022. [doi]

Authors

José Espírito Santo

This author has not been identified. Look up 'José Espírito Santo' in Google

Delia Kesner

This author has not been identified. Look up 'Delia Kesner' in Google

Loïc Peyrot

This author has not been identified. Look up 'Loïc Peyrot' in Google
runs on