Timeline for Relation between Russellian type theory and type systems
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jan 13, 2017 at 3:04 | history | suggested | user20691 | CC BY-SA 3.0 |
Changed the title to make it describe the question/post more appropriately
|
| Jan 12, 2017 at 23:28 | review | Suggested edits | |||
| S Jan 13, 2017 at 3:04 | |||||
| Aug 16, 2013 at 16:31 | answer | added | nponeccop | timeline score: 3 | |
| Aug 15, 2013 at 10:17 | history | edited | Raphael |
edited tags
|
|
| Aug 15, 2013 at 6:03 | history | tweeted | twitter.com/#!/StackCompSci/status/367889364946530304 | ||
| Aug 15, 2013 at 2:12 | answer | added | Philip JF | timeline score: 9 | |
| Aug 15, 2013 at 0:54 | answer | added | Hunan Rostomyan | timeline score: 3 | |
| Aug 15, 2013 at 0:09 | history | asked | Frank | CC BY-SA 3.0 |