Italiano (Italian) English (Inglese)
Saturday, 23 November 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