Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Motivac~ao O -Calculus
 

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