Title: Domains and lambda-calculi
First published: 1998
Subjects: Lambda calculus, Semantics, Programming languages (Electronic computers), Computer science
LC classification: QA9.5 .A43 1998