| Original language | English |
|---|---|
| Publication status | Published - 1989 |
| Event | Terzo Convegno Italiano di Informatica Teorica, - Duration: 1 Jan 1989 → … |
Conference
| Conference | Terzo Convegno Italiano di Informatica Teorica, |
|---|---|
| Period | 1/01/89 → … |
Completeness, Structural Rules and Types
Lavinia EGIDI, G. MASCARI
Research output: Contribution to conference › Paper