Type reconstruction in f[omega (1997)

by Pawel Urzyczyn
Venue:Mathematical Structures in Computer Science