Izumi Takeuti Pruning Terms for Principal Type Assignment. 2000 31 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs31.html#Takeuti00 http://www.elsevier.nl/locate/entcs/volume31.html