Linear Aspects of Intersection

A- Ao A+ GR

Please use any of these identifiers to cite or link to this item:
http://hdl.handle.net/10795/3608
http://repository.edulll.gr/3608

PDF (8.61 MB)

Author/Creator	Veneti1, Anastasia; Stavrinos, Yiorgos
Contractor	Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ)
Source	Turing centenary conference CiE 2012: How the World Computes, σ. 29
Language	English
Date	June 2012
Extent	163 pages
Subject	εφαρμοσμένες επιστήμες μαθηματικά πληροφορική
Keywords	Intersection and union types, Intersection and union logics, Linear logic
Notes	Περιλαμβάνεται το πλήρες τεκμήριο με τις περιλήχεις του συνεδρίου
Type	Text (Conference or workshop item (Abstract))
Project Notes	Τίτλος Δράσης: Ηράκλειτος ΙΙ