Title: Edinburgh LCF
Subjects: Computable functions, Computer science