| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Fundamentae Informaticae |
| Udgave nummer | Vol. 33 |
| Sider (fra-til) | 309-338 |
| Status | Udgivet - 1998 |
Coinductive axiomatization of recursive type equality and subtyping
M. Brandt, Fritz Henglein
66
Citationer
(Scopus)