Original language | Italian |
---|---|
Pages | 45-58 |
Number of pages | 14 |
DOIs | |
Publication status | Published - 1 Jan 2010 |
Event | ITRS'10 - Intersection Types and Related Systems - Edinburgh Duration: 1 Jan 2010 → … |
Conference
Conference | ITRS'10 - Intersection Types and Related Systems |
---|---|
City | Edinburgh |
Period | 1/01/10 → … |