Skip to main content

Timeline for Why are W-types called "W"?

Current License: CC BY-SA 4.0

4 events
when toggle format what by license comment
Sep 19, 2021 at 11:12 history edited Peter LeFanu Lumsdaine CC BY-SA 4.0
added confirmation from Martin-Löf
Aug 24, 2021 at 20:34 comment added Andrej Bauer Just how many hands have you got, Peter?
Aug 24, 2021 at 18:52 vote accept user347155
Aug 24, 2021 at 18:49 history answered Peter LeFanu Lumsdaine CC BY-SA 4.0