Type assignment in the lambda-calculus
Subtitle: syntax and semantics
By: Choukri-Bey Ben-Yelles
Published: 1979
Language: eng
Notes: Thesis (doctoral)--University College of Swansea, 1979.