Obrigada por compartilhar! Muito bom! Abraços,
On Thu, Mar 30, 2023 at 12:51 AM Joao Marcos <botoc...@gmail.com> wrote: > https://topos.site/blog/2023/03/seventy-years-using-fixed-points/ > > Talk @ Computer Science Logic (CSL 2023) > https://topos.site/files/Scott_Seventy_Years_Using_Fixed_Points_Slides.pdf > https://youtu.be/jHJE9GoFZCY > > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjhJNbx_7wv4fA1%3D8TQ0BrU-wJ_SOfBi7YnR1xDejNNJw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjhJNbx_7wv4fA1%3D8TQ0BrU-wJ_SOfBi7YnR1xDejNNJw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Elaine. ----------------------------------- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVeG1TARMJwLL2Q7NqJuP1twLXHvMDfuP1jZDuPmaPPvw%40mail.gmail.com.
