| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Theoretical Computer Science |
| Udgave nummer | Vol 87 |
| Sider (fra-til) | 209-220 |
| ISSN | 0304-3975 |
| Status | Udgivet - 1991 |
Co-induction in relational semantics
Robin Milner, Mads Tofte
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
74
Citationer
(Scopus)