CIC-05:vasco-30

V. Prevosto, S. Boulmé. Proof Contexts with Late Binding. In Typed Lambda Calculi and Applications: 7th, TLCA'2005, Pages 324-338, 2005.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Sylvain Boulmé

Référence BibTex

@InProceedings{CIC-05:vasco-30,
   Author = {Prevosto, V. and Boulmé, S.},
   Title = {{Proof Contexts with Late Binding}},
   BookTitle = {{Typed Lambda Calculi and Applications: 7th, TLCA'2005}},
   Pages = {324--338},
   Publisher = {LNCS 3461, Springer},
   Year = {2005}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)