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]
No references recorded for this publication.
No citations of this publication recorded.