| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Bucciarelli, Antonio; de Lorenzis, Silvia; Piperno, Adolfo; Salvo, Ivano | Some Computational Properties of Intersection Types (Extended Abstract) | 1999 | IEEE Computer Society | 10.1109/LICS.1999.782598 | 109-118 |