unification in typed lambda calculus

• Authors:

• Gérard P. Huet

• Affiliations:

• -

• Venue:
• Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory
• Year:
• 1975