Coinductive axiomatization of recursive type equality and subtyping (1998)

by Michael Brandt, Fritz Henglein
Venue:Fundamenta Informaticae