Timeline for CCCs, computational calculi and point-surjectivity
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 23, 2021 at 3:02 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
DOI link to Longo and Moggi
|
| Feb 3, 2021 at 0:01 | history | edited | alessio-b-zak | CC BY-SA 4.0 |
edited title
|
| Feb 3, 2021 at 0:01 | history | undeleted | alessio-b-zak | ||
| Feb 3, 2021 at 0:00 | history | deleted | alessio-b-zak | via Vote | |
| Feb 2, 2021 at 23:57 | review | First posts | |||
| Feb 3, 2021 at 1:26 | |||||
| Feb 2, 2021 at 23:53 | history | asked | alessio-b-zak | CC BY-SA 4.0 |