so' passando a informacao!
---------- Forwarded message --------- From: Philip Wadler <[email protected]> Date: Wed, 2 Dec 2020 at 12:28 Subject: [TYPES/announce] Combinator Centenary To: Types Forum <[email protected]> [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I received the below from Stephen Wolfram, which may be of interest. Go well, -- P Combinators: A 100-Year Celebration Livestreamed Event On December 7, 1920, at 6pm German time, Moses Schönfinkel gave the talk that introduced combinators. We are celebrating its 100th anniversary with a public livestream about the history and future of combinators, and their significance for computation. December 7, 2020, at 6pm CET/12 noonEST/9am PST JOIN LIVE EITHER OF: youtube.com/user/WolframResearch twitch.tv/Stephen_Wolfram . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXt74Y3QaYkDgRbNW1UQvNSCy_Dj%2BR40Af7Y9rt3bcpTMw%40mail.gmail.com.
