APA (7th ed.) Citation

ROVERSI, L. (2016). A deep inference system with a self-dual binder which is complete for linear lambda calculus. Journal of Logic & Computation, 26(2), 677. https://doi.org/10.1093/logcom/exu033

Chicago Style (17th ed.) Citation

ROVERSI, LUCA. "A Deep Inference System with a Self-dual Binder Which Is Complete for Linear Lambda Calculus." Journal of Logic & Computation 26, no. 2 (2016): 677. https://doi.org/10.1093/logcom/exu033.

MLA (9th ed.) Citation

ROVERSI, LUCA. "A Deep Inference System with a Self-dual Binder Which Is Complete for Linear Lambda Calculus." Journal of Logic & Computation, vol. 26, no. 2, 2016, p. 677, https://doi.org/10.1093/logcom/exu033.