Andrew Barber (1996):
Dual intuitionistic linear logic.
Technical Report ECS-LFCS-96-347.
Nick Benton, G. M. Bierman & J. Martin E. Hyland andValeria de Paiva (1993):
A term calculus for intuitionistic linear logic.
In: Proceedings of the International Conference on TypedLambda Calculi and Applications.
Springer-Verlag LNCS 664,
pp. 75–90,
doi:10.1007/BFb0037099.
P. N. Benton (1995):
A mixed linear and non-linear logic: proofs, terms and models.
In: Proceedings of Computer Science Logic, Kazimierz, Poland..
Springer-Verlag,
pp. 121–135,
doi:10.1007/BFb0022251.
Garrett Birkhoff (1937):
Rings of sets.
Duke Mathematical Journal 3(3),
pp. 443–454,
doi:10.1215/S0012-7094-37-00334-X.
J.R.B. Cockett & R.A.G. Seely (1997):
Weakly distributive categories.
Journal of Pure and Applied Algebra 114(2),
pp. 133 – 173,
doi:10.1016/0022-4049(95)00160-3.
J.R.B. Cockett & R.A.G. Seely (1999):
Linearly distributive functors.
Journal of Pure and Applied Algebra 143(1–3),
pp. 155 – 203,
doi:10.1016/S0022-4049(98)00110-8.
Thomas Ehrhard (2005):
Finiteness spaces.
Mathematical Structures in Computer Science 15(4),
pp. 615–646,
doi:10.1017/S0960129504004645.
Thomas Fox (1976):
Coalgebras and cartesian categories.
Communications in Algebra 4(7),
pp. 665–667,
doi:10.1080/00927877608822127.
Jean-Yves Girard (1987):
Linear logic.
Theoretical Computer Science 50(1),
pp. 1–101,
doi:10.1016/0304-3975(87)90045-4.
Jean-Yves Girard (1993):
On the unity of logic.
Annals of Pure and Applied Logic 59(3),
pp. 201–217,
doi:10.1016/0168-0072(93)90093-S.
G Max Kelly (1974):
Doctrinal adjunction.
In: Category Seminar.
Springer,
pp. 257–280,
doi:10.1007/BFb0063105.
Yves Lafont (1988):
The linear abstract machine.
Theoretical Computer Science 59,
pp. 157–180,
doi:10.1016/0304-3975(88)90100-4.
Corrections in vol. 62, pp. 327–328.
Paul-André Melliès (2003):
Categorical models of linear logic revisited.
Paul-André Melliès (2009):
Categorical semantics of linear logic.
In: Interactive Models of Computation and Program Behaviour, Panoramas et Synthèses 27, Société Mathématique de France 1–196.
Jennifer Paykin & Steve Zdancewic (2014):
A linear/producer/consumer model of classical linear logic.
Technical Report MS-CIS-14-03.
University of Pennsylvania.
V.R. Pratt (1994):
Chu spaces: complementarity and uncertainty in rational mechanics.
Course notes, TEMPUS summer school, Budapest.
Andrea Schalk (2004):
Whats is a categorical model of linear logic.
Richard P Stanley (2011):
Enumerative combinatorics.
Cambridge University Press,
doi:10.1017/CBO9781139058520.
Benoît Valiron & Steve Zdancewic (2014):
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi.
In: Theoretical Aspects of Computing 2014,
Lecture Notes in Computer Science 8687.
Springer International Publishing,
pp. 442–459,
doi:10.1007/978-3-319-10882-7_26.
eptcs@eptcs.org