Fundamentals John Mitchell CS 242. Syntax and Semantics of Programs uSyntax The symbols used to write a program uSemantics The actions that occur when.
Lambda Calculus
