Buscar
Buscar
Entrar
Testar grátis
Home
Disciplinas
Lambda Calculo Teoria Tipos
Lambda Calculo Teoria Tipos
6 materiais
16 seguidores
Seguir
Materiais enviados recentes
35 pág.
aula4
Universidade Federal de Pernambuco
24 pág.
Teorema de Church-Rosser para β-redução no Lambda-Cálculo
Universidade Federal de Pernambuco
46 pág.
aula2imp
Universidade Federal de Pernambuco
12 pág.
Lambda-Cálculo e o Entscheidungsproblem
Universidade Federal de Pernambuco