@inproceedings{b374050bc5044e18989c2a9efd2fcbe6,
title = "Modular properties of algebraic type systems",
author = "G. Barthe and J.H. Geuvers",
year = "1996",
doi = "10.1007/3-540-61254-8_18",
language = "English",
isbn = "3-540-61254-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "37--56",
editor = "G. Dowek and J. Heering and K. Meinke and B. M{\"o}ller",
booktitle = "Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers)",
address = "Germany",
}