A deep inference system with a self-dual binder which is complete for linear lambda calculus

Luca Roversi. A deep inference system with a self-dual binder which is complete for linear lambda calculus. Journal of Logic and Computation, 26(2):677-698, 2016. [doi]

Abstract

Abstract is missing.