@book{50941,
	author = {Ehrhard, Thomas},
	title = {Linear logic in computer science /},
	publisher = {Cambridge University Press,},
	year = {2004},
	series = {London Mathematical Society lecture note series ;},
	address = {Cambridge, UK ;},
	url = {http://www.loc.gov/catdir/enhancements/fy0632/2005297208-t.html}
}