Login / Signup

A Unification Algorithm for Typed lambda-Calculus.

Gérard P. Huet
Published in: Theor. Comput. Sci. (1975)
Keyphrases
  • lambda calculus
  • higher order
  • machine learning
  • database systems