There's an old book Functional Programming: Practice and Theory by Bruce J. Maclennan to learn this if interested, it uses standard math notation instead of bei

There's an old book Functional Programming: Practice and Theory by Bruce J. Maclennan to learn this if interested, it uses standard math notation instead of being restricted to teaching an existing programming language.