Dana S. Scott: Seventy Years Using Fixed Points

10 views
Skip to first unread message

Joao Marcos

unread,
Mar 29, 2023, 7:51:26 PM3/29/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Elaine Pimentel

unread,
Mar 30, 2023, 10:28:18 AM3/30/23
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Obrigada por compartilhar! Muito bom!

Abraços,

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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.


--
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
-----------------------------------
Reply all
Reply to author
Forward
0 new messages