1. Abramsky, S.: A structural approach to reversible computation. Theoret. Comput. Sci. 347, 441–464 (2005)
2. Alves, S., Fernández, M., Florido, M., Mackie, I.: Gödel’s system
$$\cal{T}$$
revisited. Theoret. Comput. Sci. 411(11–13), 1484–1500 (2010)
3. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, second, revised edn., vol. 103. North-Holland Publishing Company (1984)
4. Girard, J.Y.: Linear logic. Theoret. Comput. Sci. 50(1), 1–102 (1987)
5. Girard, J.Y.: Geometry of interaction 1: interpretation of system F. In: Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. (eds.) Logic Colloquium 88, Studies in Logic and the Foundations of Mathematics, vol. 127, pp. 221–260. North Holland Publishing Company, Amsterdam (1989)