• Sign in
  • Sign up
conf.researchr.org / Federico Aschieri
  • POPL 2020 profile

Not registered as user yet

Name:Federico Aschieri
Affiliation:TU Wien

Contributions

POPL 2020 Author of Par means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs within the Research Papers-track

Share
xSun 26 Jun 00:48
using conf.researchr.org (v1.56.1)
Support page
Sign Up