# Lambda Calculus and Types

Undergraduate course, St. Catherine's College, University of Oxford, 2017

Carol taught second and third St. Catherine’s College students Lambda Calculus and Types from 2017 to 2020.