Timeline for What is the manner of inconsistency of Girard's paradox in Martin Lof type theory
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 2, 2015 at 20:48 | comment | added | erdeszt | Here's a free version of the linked paper: cs.cmu.edu/~kw/scans/hurkens95tlca.pdf | |
| Mar 13, 2010 at 21:40 | history | answered | Adam | CC BY-SA 2.5 |