nLab
Alonzo Church

category: people