PhD thesis,

The minimal continuous semantics of the lambda-calculus.

.
University of Warwick, Coventry, UK, (1974)British Library, EThOS.

Meta data

Tags

Users

  • @dblp

Comments and Reviews