Join inverse categories and reversible recursion

Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

OriginalsprogEngelsk
TidsskriftJournal of Logical and Algebraic Methods in Programming
Vol/bind87
Sider (fra-til)33-50
Antal sider18
ISSN2352-2208
DOI
StatusUdgivet - 2017

ID: 174128834