Unification in a &lgr;-calculus with intersection types

• Authors:

• Michael Kohlhase;Frank Pfenning

• Affiliations:

• -;-

• Venue:
• ILPS '93 Proceedings of the 1993 international symposium on Logic programming
• Year:
• 1993