Coinductive axiomatization of recursive type equality and subtyping
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Tidsskrift | Fundamentae Informaticae |
Udgave nummer | Vol. 33 |
Sider (fra-til) | 309-338 |
Status | Udgivet - 1998 |
ID: 214086