Timeline for How should I think about proof nets?
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:32 | history | edited | CommunityBot |
replaced http://cstheory.stackexchange.com/ with https://cstheory.stackexchange.com/
|
|
| Nov 9, 2013 at 18:44 | answer | added | gasche | timeline score: 5 | |
| Mar 1, 2013 at 23:21 | answer | added | Beniamino Accattoli | timeline score: 16 | |
| Feb 2, 2013 at 1:36 | answer | added | Sean Fulop | timeline score: 4 | |
| Jan 31, 2013 at 22:50 | answer | added | Dimitris Mostrous | timeline score: 10 | |
| Jan 24, 2013 at 10:56 | answer | added | yhirai | timeline score: 9 | |
| Jan 23, 2013 at 22:21 | answer | added | Uday Reddy | timeline score: 17 | |
| Jan 21, 2013 at 21:04 | comment | added | Dave Clarke | @MartinBerger: Why not make that an answer? | |
| Jan 21, 2013 at 20:12 | history | edited | Neel Krishnaswami | CC BY-SA 3.0 |
fixed missing word
|
| Jan 21, 2013 at 19:03 | history | tweeted | twitter.com/#!/StackCSTheory/status/293433600018374657 | ||
| Jan 21, 2013 at 18:22 | history | edited | Neel Krishnaswami | CC BY-SA 3.0 |
added 5 characters in body
|
| Jan 21, 2013 at 13:45 | comment | added | Martin Berger | Intuition: proof nets = nice notation for proofs. More technical intuition that makes clear how they behave: proof nets = certain simple subcalculi of $\pi$-calculus. Technical development that is worth understanding to nail down one's understanding of proof nets: An exact correspondence between a typed pi-calculus and polarised proof-nets by Honda and Laurent. | |
| Jan 21, 2013 at 10:03 | history | asked | Neel Krishnaswami | CC BY-SA 3.0 |