Timeline for Can dependent sums be encoded as dependent products?
Current License: CC BY-SA 2.5
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 17, 2019 at 15:47 | comment | added | Bob | @fread2281 The answer you mention does not appear to be correct. See my comment there. | |
| Aug 27, 2014 at 15:56 | comment | added | fread2281 | See a Math.SE question: Is it possible to express sigma-type in Martin-Löf type theory with other constructs: math.stackexchange.com/questions/661511/… | |
| Mar 1, 2010 at 9:26 | answer | added | Charles Stewart | timeline score: 0 | |
| Feb 28, 2010 at 1:41 | answer | added | Adam | timeline score: 1 | |
| Feb 26, 2010 at 9:47 | history | edited | Charles Stewart |
edited tags
|
|
| Feb 26, 2010 at 3:11 | answer | added | Russell O'Connor | timeline score: 7 | |
| Feb 25, 2010 at 22:51 | history | edited | Charles Stewart |
edited tags
|
|
| Feb 25, 2010 at 21:50 | answer | added | Andrej Bauer | timeline score: 0 | |
| Feb 25, 2010 at 20:29 | history | rollback | Keith |
Rollback to Revision 1
|
|
| Feb 25, 2010 at 20:24 | history | edited | Keith | CC BY-SA 2.5 |
Formatting
|
| Feb 25, 2010 at 20:15 | history | asked | Keith | CC BY-SA 2.5 |