Join inverse categories and reversible recursion

Research output: Contribution to journalJournal articlepeer-review

Original languageEnglish
JournalJournal of Logical and Algebraic Methods in Programming
Volume87
Pages (from-to)33-50
Number of pages18
ISSN2352-2208
DOIs
Publication statusPublished - 2017

ID: 174128834