- This event has passed.
Logical Foundations: Total and Partial Maps
December 6, 2018 @ 6:00 pm - 8:00 pm
Speaker: Miriam Costan.
This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter “Total and Partial Maps”