My First Type Theory

23 views
Skip to first unread message

Joao Marcos

unread,
Dec 27, 2020, 9:22:49 PM12/27/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
alguns dos colegas talvez curtam este poeminha:
https://youtu.be/BQNOjum8YlU

(presentinho de Natal atrasado, completo com definições e demonstrações em Agda)

JM

Walter Carnielli

unread,
Dec 28, 2020, 8:28:11 AM12/28/20
to Lista dos Logicos Brasileiros
Fantástico!

Como o poema  diz, "we may be stupid, but machines for sure are not"   :-)

Mas esse cara é um gênio - type theory jamais vai produzir um tal poema!

Feliz 2021,

W.


Em seg, 28 de dez de 2020 07:10, <logi...@dimap.ufrn.br> escreveu:
Você recebeu esse resumo porque está inscrito para receber atualizações deste grupo. Você pode alterar suas configurações na página de associação do grupo.
Para cancelar sua inscrição neste grupo e deixar de receber e-mails do mesmo, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Reply all
Reply to author
Forward
0 new messages