Join inverse categories and reversible recursion
Research output: Contribution to journal › Journal article › peer-review
Original language | English |
---|---|
Journal | Journal of Logical and Algebraic Methods in Programming |
Volume | 87 |
Pages (from-to) | 33-50 |
Number of pages | 18 |
ISSN | 2352-2208 |
DOIs | |
Publication status | Published - 2017 |
ID: 174128834