| Type | Book |
| ชื่อเรื่อง | An introduction to functional programming through Lambda calculus / Greg Michaelson |
| ผู้แต่ง | Michaelson, Greg |
| ISBN | 0-201-17812-5 |
| พิมพลักษณ์ | Wokingham, England : Addison-Wesley, c1989 |
| รูปเล่ม | 320 p. ; 24 cm |
| หัวเรื่อง | Functional programming (Computer science) |
| | Lambda calculus |