Learn More
An extension of Miller’s algorithm for &unification of typed L-terms is presented. The extension considered is the addition of products and polymorphism to &unification; the new unification problem(More)