19 October 2008
Project 2 is out
22/10/08 16:18 Filed in: Projects
Project 2 is
available should you want to get started.
Whither the fixed point?
22/10/08 15:52 Filed in: Lectures
Why did we look at the fixed point of phi?
Read
More...
Structural induction is your friend
22/10/08 12:30 Filed in: Lectures
Trust me. Structural induction is your best friend.
Read
More...