1. Logic Programming with Focusing Proofs in Linear Logic
2. Barendregt, H. P.: The lambda calculus: its syntax and semantics. North-Holland (1981).
3. Basaldella, M., Faggian, C.: Ludics with repetition (exponentials, interactive types and completeness). In: LICS. (2009) 375-384.
4. Böhm, C.: Alcune proprietà delle forme\beta-\eta-normali nelλ-K-calcolo. Publicazioni dell'Istituto per le Applicazioni del Calcolo \textbf696 (1968). Boudes, P.: Non-Uniform Hypercoherences. Electr. Notes Theor. Comput. Sci. \textbf69 (2002) 62-82.
5. On phase semantics and denotational semantics: the exponentials