1996
Modular properties of algebraic type systems
Publication
Publication
Presented at the
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Paderborn
Additional Metadata | |
---|---|
, , | |
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. |