The Work

A Unification Algorithm for Typed Lambda-Calculus

The details

The Author

Gérard Huet

The offers