Logical Foundations: Total and Partial Maps

Facultatea de Matematica si Informatica, sala 202

Speaker: Miriam Costan. This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter "Total and Partial Maps"