000			00653nam a2200229Ia 4500
001			33882
005			20250221153217.0
008			250214s9999||||xx |||||||||||||| ||und||
020			_a521608570
100			_aEhrhard, Thomas, ed.
245		0	_aLinear logic in computer science
260			_aCambridge
260			_bCambridge University Press
260			_c2004
300			_ax, 381p. : ill.
490			_aLondon mathematical society lecture note series ; 316
500			_aIncludes bibliographical references.
650			_aLogic programming -- Linear
700			_aGirard, Jean-Yves, ed.
700			_aRue, Paul, ed. et al.
942			_cBK
999			_c49697 _d49697