ref.bib

@phdthesis{Bierman:1994,
	Author = {G. M. Bierman},
	Month = {December},
	School = {Wolfson College, Cambridge},
	Title = {On Intuitionistic Linear Logic},
	Year = {1993}}
                  

@article{Girard:1987,
	Author = {Jean-Yves Girard},
	Journal = {Theoretical Computer Science},
	Number = {1},
	Pages = {1 - 101},
	Title = {Linear logic},
	Volume = {50},
	Year = {1987}}


@article{Lambek1958,
	Author = {Joachim Lambek},
	Journal = {American Mathematical Monthly},
	Pages = {154--170},
	Title = {The mathematics of sentence structure},
	Year = {1958}}

@unpublished{Eades:2016a,
	Author = {Harley Eades III},
	Note = {Online: {\small \url{https://github.com/MonoidalAttackTrees/attack-trees-in-monoidal-cats/blob/master/drafts/Proposal-the-Project-Short/main.pdf}}},
	Title = {Proposing a New Foundation of Attack Trees in Monoidal Categories},
	Year = {2016}}