ArcAdiA http://dspace-roma3.caspur.it:80 The DSpace digital repository system captures, stores, indexes, preserves, and distributes digital research material. Wed, 19 Jun 2013 17:45:34 GMT 2013-06-19T17:45:34Z The Channel Image http://dspace-roma3.caspur.it/image/logo_roma3.jpg http://dspace-roma3.caspur.it:80 Jump from parallel to sequential proofs : on polarities and sequentiality in linear logic http://hdl.handle.net/2307/176 <Title>Jump from parallel to sequential proofs : on polarities and sequentiality in linear logic</Title> <Authors>Di Giamberardino, Paolo</Authors> <Issue Date>2008</Issue Date> Mon, 31 Dec 2007 23:00:00 GMT http://hdl.handle.net/2307/176 2007-12-31T23:00:00Z