4 ms·2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation1 points by matt_d 6y ago