@INPROCEEDINGS{PrevostoTLCA2005,
  author = {Prevosto, Virgile and Boulm\'e Sylvain},
  title = {Proof Contexts with Late Binding},
  booktitle = {TLCA},
  year = {2005},
  editor = {Pawel Urzyczyn},
  volume = {3461},
  series = {LNCS},
  pages = {324 -- 338},
  address = {Nara, Japan},
  month = {April},
  publisher = {Springer},
}