Two extensions of Curry’s type inference system (0)

by Felice Cardone, Mario Coppo
Venue:In Piergiorgio Odifreddi, editor, Logic and Computer Science, volume 31 of APIC Studies in Data Processing