The minimal continuous semantics of the lambda-calculus
By: Peter Hugh Welch
Contributors: University of Warwick
Published: 1974
Language: eng
Notes: BLDSC reference no.: D14702/76.

Thesis (doctoral)--University of Warwick, 1974.