Gilles Barthe, Paul-André Melliès
On the Subject Reduction Property for Algebraic Type Systems
CSL, 1996.
@inproceedings{CSL-1996-BartheM,
author = "Gilles Barthe and Paul-André Melliès",
booktitle = "{Selected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL}",
doi = "10.1007/3-540-63172-0_31",
isbn = "3-540-63172-0",
pages = "34--57",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Subject Reduction Property for Algebraic Type Systems}",
volume = 1258,
year = 1996,
}