DEV Community

loading...

Discussion on: Lambda calculus

gillchristian profile image
Christian Gill Author

I haven't read it all. They do mention some concepts in every chapter but not explicitly.

Personally I haven't studied much of category theory, but the little I know turned out to be useful.

If you want to get into category theory one of the resources is: Category Theory for programmers, it's also available online.