Coinductive axiomatization of recursive type equality and subtyping

Research output: Contribution to journal › Journal article › Research › peer-review

Original languageEnglish
JournalFundamentae Informaticae
Issue numberVol. 33
Pages (from-to)309-338
Publication statusPublished - 1998

ID: 214086