TY  - RPRT
TI  - LNL-FPC: The Linear/Non-linear Fixpoint Calculus
AU  - Bert Lindenhovius
AU  - Michael Mislove
AU  - Vladimir Zamdzhiev
PY  - 2021
DO  - 10.23638/lmcs-17(2:9)2021
UR  - https://arxiv.org/abs/1906.09503
ID  - 1906.09503
ER  -