Apresentações sobre Propriedades do Cálculo Lambda e Combinatório

No âmbito da cadeira Lógica Funcional, de Mestrado de Eng. Informática e Computadores, foram feitos vários encontros sobre temas relacionados com o cálculo lambda e combinatório. Em seguida, são disponibilizados as três apresentações feitas pelo Francisco Moreira Couto:  

Insuficiência Simbólica e Importância Notacional do Cálculo Lambda.

Propriedade Church-Rosser da Redução (beta-eta).

Cálculo Lambda Etiquetado.

 

Francisco Moreira Couto