Proof theory
Riemann surfaces
Mathematics
CurryHoward correspondence
Logic in computer science
Philosophy of computer science
Type theory
Generalised Whitehead product