Can I read Lambda Calculus in Functional Programming on EtoBox?

Lambda Calculus in Functional Programming by Nguyễn Bùi Minh Khôi is a document available to read on EtoBox.

What is Lambda Calculus in Functional Programming about?

This document provides an overview of lambda calculus, a foundational concept in functional programming, detailing its history, principles, and applications. It covers topics such as calculating with lambda calculus, reduction techniques, and the implementation of built-in constants and functions. The conclusion emphasizes the power and minimalism of lambda calculus as a model of computation.

Author

Nguyễn Bùi Minh Khôi

Language

EN