Course Information | |

Course Code |
COSC 5P05 |

Course Title |
Introduction to Lambda Calculus |

Description |
Introduction to typed and untyped lambda calculi and their semantics. Syntax of the lambda calculus, conversion, fixed points, reduction, Church-Rosser theorem, representation of recursive functions, lambda models. Category theory, cartesian closed categories and categorical models of lambda calculus. |