3 ms·

Hindley and Seldin's Lambda-Calculus and Combinators: An Introduction is pretty solid. http://www.cambridge.org/gb/knowledge/isbn/item1175709/?site_locale=en_G

by ionfish 15y ago

Hindley and Seldin's Lambda-Calculus and Combinators: An Introduction is pretty solid. http://www.cambridge.org/gb/knowledge/isbn/item1175709/?site_locale=en_GB http://www.cambridge.org/gb/knowledge/isbn/item1175709/?site...