Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
dB : the -calculus in de Bruijn Notation The intersection type system for dB
 

Summary: Motivation
dB : the -calculus in de Bruijn Notation
The intersection type system for dB
Subject reduction for dB with types
Conclusion, current and future work
Subject Reduction for the -Calculus with
Intersection Types in de Bruijn Notation
Daniel L. Ventura1,2
& Mauricio Ayala Rinc´on1
& Fairouz D. Kamareddine2
1
Grupo de Teoria da Computa¸c~ao - GTC/UnB
Universidade de Bras´ilia - UnB, Brasil
2
ULTRA Group
Heriot-Watt University, Edinburgh, Scotland
Pesquisa financiada pelo
Conselho Nacional de Desenvolvimento Cient´ifico e Tecnol´ogico - CNPq
5o
Sem. Informal(+ Formal!) do GTC, 6-7/12/2007

  

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

 

Collections: Mathematics