1997
On the subject reduction property for algebraic type systems
Publication
Publication
Presented at the
International Conference on Computer Science Logic, Utrecht, The Netherlands
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Computer Science Logic | |
Barthe, G., & Melliès, P.-A. (1997). On the subject reduction property for algebraic type systems. In Proceedings of International Conference on Computer Science Logic 1996 (CSL 10) (pp. 34–57). Springer. |