← back to paper

Review history

arxiv: 2605.13348 · 2 revisions

Quantitative Linear Logic

1. 2026-05-15 ACCEPT MODERATE v0.9.0 novelty 8.0
   37706 ms 5523 in 1452 out 2026-05-15T05:59:13.732854+00:00
2. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 8.0
   40093 ms 5523 in 1469 out 2026-05-14T18:50:16.070465+00:00