Linear Aspects of IntersectionengURIhttp://hdl.handle.net/10795/3608εφαρμοσμένες επιστήμεςμαθηματικάπληροφορική163 pp.creatorProject Executing Organisation2012-06TextIntersection and union typesIntersection and union logicsLinear logic8812689application/pdfhttp://repository.edulll.gr/edulll/bitstream/10795/3608/2/3608_1.49_%ce%91%ce%9d_18_6_12.pdfΠεριλαμβάνεται το πλήρες τεκμήριο με τις περιλήχεις του συνεδρίουURIhttp://hdl.handle.net/10795/3608creator2016-06-10T07:31:40Zvalidator2016-06-10T07:31:40ZLOMv1.0grenonoCopyright EYD-EPEDBM (Operational Programme "Education and Lifelong Learning")