/PropositionsAsTypes

Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.

Primary LanguageTeXMIT LicenseMIT

Proposições como Tipos

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