Coinductive axiomatization of recursive type equality and subtyping
Research output: Contribution to journal › Journal article › Research › peer-review
Original language | English |
---|---|
Journal | Fundamentae Informaticae |
Issue number | Vol. 33 |
Pages (from-to) | 309-338 |
Publication status | Published - 1998 |
ID: 214086