Type reconstruction in f[omega (1997)

by P Urzyczyn
Venue:Mathematical Structures in Computer Science