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.
Teaching
Discrete Mathematics
Undergraduate course, St. Catherine's College, University of Oxford, 2017
Carol taught first year St. Catherine’s College students Discrete Mathematics from 2017 to 2019.