Timeline for Can a typing judgment admit essentially different derivations?
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 22, 2010 at 0:13 | history | edited | Mike Shulman | CC BY-SA 2.5 |
explained the background
|
| Oct 22, 2010 at 0:00 | history | edited | Mike Shulman | CC BY-SA 2.5 |
attempted to clarify what I wasn't asking
|
| Oct 21, 2010 at 23:14 | answer | added | Noam Zeilberger | timeline score: 3 | |
| Oct 21, 2010 at 10:11 | answer | added | Noam Zeilberger | timeline score: 2 | |
| Oct 20, 2010 at 20:18 | vote | accept | Mike Shulman | ||
| Oct 20, 2010 at 18:30 | answer | added | Neel Krishnaswami | timeline score: 9 | |
| Oct 20, 2010 at 17:48 | comment | added | Mariano Suárez-Álvarez | Can one pick a random ambiguous grammar for a language and simulate it in types? | |
| Oct 20, 2010 at 17:41 | history | asked | Mike Shulman | CC BY-SA 2.5 |