For the last few lectures, we've been studing the semantics of IMP, a fairly simple imperative language we created because it roughly emulated what we think a "normal" language looks like—it has ...

At the end of Lecture 6 we tried our hand at "baking in" booleans into the lambda calculus, to try to ease the pain of writing everything using Church encodings. This seemed like a natural evolution ...

Poster presentation: View a poster (PDF) describing this project from the 2013 Symposium on Teaching and Learning. Description: We and our colleagues in SFU's Department of Mathematics have recorded ...

This document has been created by a 24UG student to digitize and organize Professor Kwok's original handwritten lecture notes. The goal is to make the material more accessible and easier to read while ...

AMONG the many ways in which the American Mathematical Society has endeavoured to popularise and develop the study of higher mathematics, not the least remarkable and useful is the practice of holding ...