Join inverse categories as models of reversible recursion

Holger Bock Axelsen, Robin Kaarsgaard

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Join inverse categories as models of reversible recursion'. Together they form a unique fingerprint.

Mathematics