An Introduction to the Clocked Lambda Calculus