[TYPES/announce] slides on a mathematical theory of substitution

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, Three sets of slides on a mathematical theory of substitution aimed at different audiences may be found at http://www.cl.cam.ac.uk/~mpf23/latest.html under

[TYPES/announce] Subject: 2024 Alonzo Church Award Call for Nominations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR NOMINATIONS The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding