This is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday. Chris Hankin is a Fellow of

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a

Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The