Modelling and Reasoning about Functional Programs in Higher Order Logic

This is a collection of slides to accompany a talk given at the University of Calgary (Dec. 11, 2000) and the University of Victoria (Dec. 14, 2000)

slides