Michel Latteux. A Propos du Lemme de Substitution. Theoretical Computer Science, 14:119-123, 1981.
@article{Latteux81,
title = {A Propos du Lemme de Substitution},
author = {Michel Latteux},
year = {1981},
researchr = {https://researchr.org/publication/Latteux81},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {14},
pages = {119-123},
}