Exploring Benchmarking Linear Logic
Let's dive into the details surrounding Benchmarking Linear Logic.
- https://www.cppnow.org --- Keynote:
- The term randomized
- Presented by Federico Aschieri. Presented at POPL'20.
- Frank Pfenning (2012) -
- LFMTP 2020, session 2, talk 1 Invited speaker: Elaine Pimentel.
In-Depth Information on Benchmarking Linear Logic
Valeria de Paiva, November 4, 2020. Details: https://the-au-forml-lab.github.io/colloquium_talks/dePaiva.html. Details: https://the-au-forml-lab.github.io/colloquium_talks/dePaiva.html. https://arxiv.org/abs/2103.06127
Frank Pfenning (2012) -
That wraps up our extensive overview of Benchmarking Linear Logic.