Symbolic AI – Basic Lambda Calculus 2


This is the second part to the Basic Lambda Calculus 1. In this we’ll go through a proper example.

Read more of this post

Symbolic AI – Basic Lambda Calculus 1


This post will explain some of the basics of Lambda Calculus, mainly Alpha-Conversion and Beta-Reduction. We’ll also see a quick example of a simple sentence.

This post is being written with me being slightly ill… so some bits may make no sense whatsoever – sorry 😦

Read more of this post