Join inverse categories and reversible recursion

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 87; pp. 33 - 50
Main Authors Kaarsgaard, Robin, Axelsen, Holger Bock, Glück, Robert
Format Journal Article
LanguageEnglish
Published 01.02.2017
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2016.08.003