Italiano (Italian) English (Inglese)
Wednesday, 30 October 2024
You are here: Home» Publications

Publications

Back
Pubblication Details
Authors:Mario Coppo
Paola Giannini
Title:Principal Types and Unification For a Simple Intersection Type System
Published on:Information and Computation 122
Pages:70--96
Year:1995
Tipo Pubblicazione:Paper on International Journal