Title: Logical foundations of functional programming
Subjects: Functional programming (Computer science)