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).