Mathematics for Computer Science

Overview

Topics

• Lambda Calculus
• Type Theory
• Abstract Syntax Trees