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.
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.