Completeness, Structural Rules and Types

Lavinia EGIDI, G. MASCARI

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 1989
EventTerzo Convegno Italiano di Informatica Teorica, -
Duration: 1 Jan 1989 → …

Conference

ConferenceTerzo Convegno Italiano di Informatica Teorica,
Period1/01/89 → …

Cite this