| Original language | English |
|---|---|
| Journal | Fundamentae Informaticae |
| Issue number | Vol. 33 |
| Pages (from-to) | 309-338 |
| Publication status | Published - 1998 |
Coinductive axiomatization of recursive type equality and subtyping
M. Brandt, Fritz Henglein
66
Citations
(Scopus)