Prevosto, Virgile Programming Logics, MPI for Informatics, Max Planck Society;
Prevosto, V., & Boulmé, S. (2005). Proof Contexts with Late Binding. In Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005 (pp. 325-339). Berlin, Germany: Springer.