48 citations · 118 across the 8 of their papers we have counts for
1 paper · 1 filter
Patrick Baillot, Damiano Mazza
We give a new characterization of elementary and deterministic polynomial time computation in linear logic through the proofs-as-programs correspondence. Girard's seminal results,…