Timeline for Is the set of Multiplicative Proof Nets a proper subset of set of well formed single-agent Interaction Nets?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 29, 2018 at 1:33 | history | tweeted | twitter.com/StackCSTheory/status/1001275400742424578 | ||
| May 19, 2018 at 20:24 | history | edited | Łukasz Lew | CC BY-SA 4.0 |
edited title
|
| May 19, 2018 at 0:20 | vote | accept | Łukasz Lew | ||
| May 18, 2018 at 18:02 | answer | added | Damiano Mazza | timeline score: 3 | |
| May 18, 2018 at 7:17 | comment | added | Łukasz Lew | This question might be related. | |
| May 18, 2018 at 7:17 | history | asked | Łukasz Lew | CC BY-SA 4.0 |