[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I was very saddened to read the news of Peter Aczel's death. I greatly admired his work, not only for its content but also for its clarity. His promotion of informal rigorous reasoning in type theory that Andrej Bauer mentioned in another post is an example. He also had very nice handwriting! -- I found this out when he very generously shared some of his unpublished work with me when I was a graduate student in the late 70s and early 80s. (He later examined my PhD thesis.) RIP, Peter. Andrew M. Pitts Professor of Theoretical Computer Science Department of Computer Science and Technology University of Cambridge William Gates Building 15 JJ Thomson Ave Cambridge CB3 0FD, UK > On 3 Aug 2023, at 08:42, Nicola Gambino <nicola.gamb...@manchester.ac.uk> > wrote: > > Dear colleagues and friends, > > I write to let you know of the sad news that Peter Aczel passed away on > August 1st. > > As readers of this list surely know, Peter made many fundamental and deeply > influential contributions to Logic, Computer Science, Category Theory, and > Constructive Mathematics. > > I had the good fortune of having him as PhD supervisor and we remained in > contact since then. I always admired his clarity of thinking and his > kindness. He will be deeply missed. > > With best regards, > Nicola > > = > Dr Nicola Gambino > Department of Mathematics, University of Manchester > > -- > You received this message because you are subscribed to the Google Groups > "constructivenews" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to constructivenews+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://urldefense.com/v3/__https://groups.google.com/d/msgid/constructivenews/BFC2ADB3-657A-4207-9C09-227967D58A36*40manchester.ac.uk__;JQ!!IBzWLUs!VLcqPzrfXRjaUvseN_NxxLwFuOf5p3vcr4MIXalbv_mIMHrku_TlvTxydN6xYr8qYet5TWXWRtw3QX2ODBfuA-IRb4h1putMWV0W_Kk$ > .
