Join inverse categories and reversible recursion
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Tidsskrift | Journal of Logical and Algebraic Methods in Programming |
Vol/bind | 87 |
Sider (fra-til) | 33-50 |
Antal sider | 18 |
ISSN | 2352-2208 |
DOI | |
Status | Udgivet - 2017 |
ID: 174128834