Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN-13: 9780521898850, $70.00

• Authors:

• Femke Van raamsdonk

• Affiliations:

• -

• Venue:
• Theory and Practice of Logic Programming
• Year:
• 2009