Lambda calculus
Logic in computer science
Holomorphic functional calculus
Itō diffusion
Mathematical analysis
Mathematics
Combinatory logic