Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Tipos e Provas Matematicas Mauricio Ayala-Rincon
 

Summary: Tipos e Provas Matem´aticas
Mauricio Ayala-Rinc´on
Grupo de Teoria da Computac¸~ao - GTC/UnB
Departamento de Matem´atica, Universidade de Bras´ilia
Escola de Ver~ao 2007
Bras´ilia, 9 de fevereiro de 2007
GTC/UnB: www.mat.unb.br/ayala/TCgroup
Tipos e Provas Matem´aticas Mauricio Ayala-Rinc´on
Plano da Apresenta¸c~ao
0. Motiva¸c~ao: provas e programas
1. C´alculo Lambda (C´alculo )
2. C´alculo Lambda com tipos simples
3. Isomorfismo de Curry-Howard
4. Conclus~oes
GTC/UnB: www.mat.unb.br/ayala/TCgroup 1
Tipos e Provas Matem´aticas Mauricio Ayala-Rinc´on
0. Motiva¸c~ao: provas e programas
· Programas
programador
s~ao aplicados no tratamento de sistemas cr´iticos

  

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

 

Collections: Mathematics