Exploring Benchmarking Linear Logic
Let's dive into the details surrounding Benchmarking Linear Logic.
- Knowledge of how to set up good
- https://arxiv.org/abs/2103.06127
- Frank Pfenning (2012) -
- LFMTP 2020, session 2, talk 1 Invited speaker: Elaine Pimentel.
- This video was uploaded from an Android phone.
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. 10 March 2021 https://www.cl.cam.ac.uk/events/owls/
Presented by Federico Aschieri. Presented at POPL'20.
That wraps up our extensive overview of Benchmarking Linear Logic.