Summary: Motiva¸c~ao
O -Calculus
O -Calculus com Tipos Simples
Redu¸c~ao do Sujeito para C´alculos de Substitui¸c~oes Expl´icitas
Conclus~oes e Trabalhos Futuros
Redu¸c~ao do Sujeito para C´alculos de
Substitui¸c~oes Expl´icitas com Tipos Simples
Daniel Lima Ventura
Mestrando - Departamento de Matem´atica/UnB
Bolsista CNPq
Orientador: Mauricio Ayala-Rinc´on
2 de dezembro de 2005
III Semin´ario Informal(, mas Formal!) do Grupo de Teoria da Computa¸c~ao
Daniel Lima Ventura Redu¸c~ao do Sujeito para C´alculos de SEs com Tipos Simples
Motiva¸c~ao
O -Calculus
O -Calculus com Tipos Simples
Redu¸c~ao do Sujeito para C´alculos de Substitui¸c~oes Expl´icitas
Conclus~oes e Trabalhos Futuros
Roteiro

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics