https://123dok.org/document/z1d50p5p-light-logics-and-higher-order-processes.html