@dblp

A λ-calculus interpreter and its relationship to algorithmic languages.

. Imperial College London, UK, (1974)British Library, EThOS.

Links and resources

Tags