Timeline for Models of intuitionistic linear logic that reflect the resource interpretation
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2014 at 13:10 | vote | accept | Wolfgang Jeltsch | ||
| Feb 18, 2014 at 13:10 | comment | added | Wolfgang Jeltsch | Thank you; this was very helpful indeed. Lokhorst cites the paper “Linear Logic on Petri Nets” by Engberg and Winskel, which seems to be relevant as well. | |
| Feb 2, 2014 at 0:14 | review | First posts | |||
| Feb 2, 2014 at 0:19 | |||||
| Feb 1, 2014 at 23:58 | history | answered | rhenderson | CC BY-SA 3.0 |