Timeline for What is the sequent calculus for differential linear logic? [closed]
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 6, 2019 at 15:55 | history | closed |
LSpice LeechLattice Neil Strickland Dima Pasechnik András Bátkai |
Needs more focus | |
| Oct 21, 2019 at 13:17 | vote | accept | Student | ||
| Oct 21, 2019 at 13:17 | vote | accept | Student | ||
| Oct 21, 2019 at 13:17 | |||||
| Oct 21, 2019 at 13:17 | vote | accept | Student | ||
| Oct 21, 2019 at 13:17 | |||||
| Oct 21, 2019 at 13:17 | vote | accept | Student | ||
| Oct 21, 2019 at 13:17 | |||||
| Oct 19, 2019 at 18:52 | answer | added | Damiano Mazza | timeline score: 1 | |
| Oct 16, 2019 at 20:11 | answer | added | Ben MacAdam | timeline score: 1 | |
| Oct 16, 2019 at 20:00 | review | Close votes | |||
| Nov 6, 2019 at 15:55 | |||||
| Oct 16, 2019 at 19:10 | review | First posts | |||
| Oct 17, 2019 at 2:48 | |||||
| Oct 16, 2019 at 19:06 | history | asked | Student | CC BY-SA 4.0 |