1. Computational interpretations of linear logic
2. Syntax and Semantics of Quantitative Type Theory
3. Andrew G. Barber and Gordan Plotkin. 1996. Dual Intuitionistic Linear Logic. Labrartory of Compute Science, Univerity of Edinburgh.
4. Bruno Barras. 2012. Semantical Investigations in Intuitionistic Set Theory and Type Theories with Inductive Families.
5. P. N. Benton. 1995. A mixed linear and non-linear logic: Proofs, terms and models. In Computer Science Logic, Leszek Pacholski and Jerzy Tiuryn (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 121–135. isbn:978-3-540-49404-1