|
|
|
|
|
CÓDIGO
NOME CARGA HORÁRIA SEMANAL
N.º DE CARGA HORÁRIA
TEÓRICA PRÁTICA
CREDITOS GLOBAL
|
|
Lambda-Cálculo
e Teoria dos Tipos |
5 |
0 |
05 |
75 |
PRÉ – REQUISITOS
|
Informática Teórica |
EMENTA
|
q
Conversão q
Reducao q
Modelos q
Lambda-cálculo
clássico q
Combinators q
Árvores
de Bohm q
Teoremas
fundamentais; q
Reduções
fortemente equivalentes q
Estratégias
de redução q
Construção
de modelos q
Atribuição
de tipos a termos q
O
algoritmo do tipo principal q
Atribuição
de tipos com igualdade q
Correspond^wncia
com a implicação q
Contagem
dos elementos de um tipo |
CONTEÚDO PROGRAMÁTICO
|
q
Conversão q
Redução q
Modelos q
Lambda-cálculo
clássico q
Combinadores q
Árvores
de Bohm q
Teoremas
fundamentais q
Propriedade
da confluência (Church-Rosser) q
Reduções
fortemente equivalentes q
Estratégias
de redução q
Teorias q
Construção
de modelos q
Estrutura
local de modelos q
Estrutura
global de modelos q
Gupos
combinatórios q
Lógica
combinatória illativa > |
BIBLIOGRAFIA BÁSICA
|
q
H. Barendregt The Lambda Calculus. Its Syntax and
Semantics q
North-Holland, Second Revised Edition, 1984 (2nd
reprint 1997). q
J. R. Hindley Basic simple type theory. q
Cambridge University Press, 1995. |
 |