Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Tipando Calculos de Substituic~oes Explicitas Mauricio Ayala-Rincon
 

Summary: Tipando C´alculos de Substitui¸c~oes Expl´icitas
Mauricio Ayala-Rinc´on
Grupo de Teoria da Computac¸~ao - GTC/UnB
Departamento de Matem´atica, Universidade de Bras´ilia
Segundo Semin´ario Informal (, mas formal!) do GTC
Bras´ilia, 28 de outubro de 2004
GTC/UnB: www.mat.unb.br/ayala/TCgroup
Tipando C´alculos de Substituic¸~oes Expl´icitas Mauricio Ayala-Rinc´on
Summary
1. The Simply Typed -calculus
2. The Curry-Howard Isomorphism
3. The -calculus `a la de Bruijn
4. Explicit Substitutions calculi: se
5. Typing Explicit substitutions calculi
6. Type inference for the se
7. Conclusions
GTC/UnB: www.mat.unb.br/ayala/TCgroup 1
Tipando C´alculos de Substituic¸~oes Expl´icitas Mauricio Ayala-Rinc´on
1. The Simply Typed -calculus
· -terms, : a ::= (a a) | .a

  

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

 

Collections: Mathematics