Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October 7-9, 2019 (2019)

First Author: Komendantskaya E
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://dl.acm.org/doi/proceedings/10.1145/3354166

Type: Book edited

ISBN: 978-1-4503-7249-7