The undecidability of the unification problem for third order languages (1972)

by C L Lucchesi
Venue:and Computer Science, University of Waterloo