publicações selecionadas Esquemas Abstratos para Dedução Natural, Cálculo dos Sequentes e Lambda Cálculo Tipificado Obs: Dissertacao nao faz parte dos requisitos deste program Protecting Individuals' Interests in Electronic Commerce Protocols