Choukri-Bey Ben-Yelles

• Type assignment in the lambda-calculus