Palestra para o Grupo de Lógica e Filosofia Formal (GELF) da Universidade Federal do Maranhão, baseado inicialmente no artigo e apresentação de Philip Wadler.
Data: 13/07/2018
Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.
TeXMIT