Timeline for Does "Church's Law" really fail in Extensional Type Theory?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 20, 2013 at 0:54 | vote | accept | Tom Ellis | ||
| Sep 5, 2013 at 15:24 | comment | added | Tom Ellis | Perhaps I am just misunderstanding the usage of the term then. | |
| Sep 5, 2013 at 14:54 | history | answered | Andreas Blass | CC BY-SA 3.0 |