Michael Brandt, Fritz Henglein
Coinductive Axiomatization of Recursive Type Equality and Subtyping
TLCA, 1997.
@inproceedings{TLCA-1997-BrandtH, author = "Michael Brandt and Fritz Henglein", booktitle = "{Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-62688-3_29", isbn = "3-540-62688-3", pages = "63--81", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Coinductive Axiomatization of Recursive Type Equality and Subtyping}", volume = 1210, year = 1997, }