Timeline for The meaning of the recursive type μt.t
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 28 at 7:11 | vote | accept | LaR | ||
Sep 27 at 17:31 | history | answered | Naïm Favier | CC BY-SA 4.0 |