Categorical semantics of reversible pattern-matching
scientific article; zbMATH DE number 7959042
scientific article