, ,
Springer
Lecture Notes in Computer Science
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting

Barthe, G., & Geuvers, H. (1996). Modular properties of algebraic type systems. In Higher-Order Algebra, Logic, and Term Rewriting (pp. 37–56). Springer.