LNL-FPC: The Linear/Non-linear Fixpoint Calculus (Logical Methods in Computer Science, 2021)