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.

Download

Download paper: (link)

Copyright notice:

Contact

Sylvain Boulmé

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)