5 Jan
2000
5 Jan
'00
9:09 a.m.
The Queen's New Years Honours list announced a knighthood for C.A.R. Hoare (the first person to find an application for 2-categories).
9645
Age (days ago)
9645
Last active (days ago)
0 comments
1 participants
participants (1)
-
Peter Freyd