Timeline for New articles by Errett Bishop on constructive type theory?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7, 2018 at 23:33 | comment | added | David Roberts♦ | @Carlo it does make some comments about programming languages, but not extensively. | |
| May 7, 2018 at 22:08 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 184 characters in body
|
| May 7, 2018 at 21:52 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 201 characters in body
|
| May 7, 2018 at 20:08 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
deleted 6 characters in body
|
| May 7, 2018 at 13:37 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 378 characters in body
|
| May 7, 2018 at 12:47 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 5 characters in body
|
| May 7, 2018 at 12:43 | comment | added | Carlo Beenakker | I cannot read that conference paper (paywall), but I understand it does address how to program constructive mathematics in Algol, and so it must address the formalisation of constructive mathematics. | |
| May 7, 2018 at 12:41 | comment | added | Mikhail Katz | The 1970 published article is entitled "Mathematics as a Numerical Language" but I don't think it deals with type theory. | |
| May 7, 2018 at 12:34 | history | answered | Carlo Beenakker | CC BY-SA 4.0 |