4 Jan
2000
4 Jan
'00
10:09 p.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).