/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

No issues in this repository yet.