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