APA (7th ed.) Citation

Aschieri, F., & Genco, F. A. (2019, July 8). (\unicode{8523}\) means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs. arXiv.org.

Chicago Style (17th ed.) Citation

Aschieri, Federico, and Francesco A. Genco. "(\unicode{8523}\) Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs." ArXiv.org 8 Jul. 2019.

MLA (9th ed.) Citation

Aschieri, Federico, and Francesco A. Genco. "(\unicode{8523}\) Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs." ArXiv.org, 8 Jul. 2019.