P. -L Curien: Categorical Combinators, Sequential Algorithms, and Functional Programming
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Mathematics)
Birkhauser | 1993-01 | ISBN 3764336544 | PDF | Pages 403 | 2.11 MB
Nothing introductory about it.
This book requires serious familiarity with calculus to get through. If equations filled with Greek symbols makes your head spin then stay away.
As for the Functional programming part:
"The language described is called CDS0, and should be the 'machine language' of a higher level programming lannguage CDS taking some features of ML (mostly data abstraction facilities); hence CDS should be compiled into CDS0 before execution. Only the material of sections 2 and 3 (i.e. the calculus of the expressions of CDS0, without type control), is already implemented."
This book Looks like it has a lot of good content but it's by no means an introductory text to the topics in the title. Being anything but comfortable in calculus and not even remotely interested in learning functional programming at such a low level I can't really comment on the quality of the content.